DC Field | Value | Language |
---|---|---|
dc.contributor.author | Došen, Kosta | en |
dc.date.accessioned | 2020-04-27T10:33:33Z | - |
dc.date.available | 2020-04-27T10:33:33Z | - |
dc.date.issued | 1992-01-01 | en |
dc.identifier.issn | 0942-5616 | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/720 | - |
dc.description.abstract | Models for the Lambek calculus of syntactic categories surveyed here are based on frames that are in principle of the same type as Kripke frames for intuitionistic logic. These models are extracted from the literature on models for relevant logics, in particular the ternary relationed models introduced in the early seventies. The purpose of this brief survey is to locate some open completeness problems for variants of the Lambek calculus in the context of completeness results based on various types of ternary relational models. | en |
dc.publisher | Wiley | - |
dc.relation.ispartof | Mathematical Logic Quarterly | en |
dc.subject | Kripke models | Lambek calculus | Linear logic | Relevant logic | en |
dc.title | A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS | en |
dc.type | Article | en |
dc.identifier.doi | 10.1002/malq.19920380113 | en |
dc.identifier.scopus | 2-s2.0-84981455988 | en |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.firstpage | 179 | en |
dc.relation.lastpage | 187 | en |
dc.relation.issue | 1 | en |
dc.relation.volume | 38 | en |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
item.openairetype | Article | - |
item.cerifentitytype | Publications | - |
SCOPUSTM
Citations
51
checked on Oct 20, 2024
Page view(s)
11
checked on Oct 20, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.