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-08-01 | en |
dc.identifier.issn | 0022-3611 | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/719 | - |
dc.description.abstract | Substructural logics are logics obtained from a sequent formulation of intuitionistic or classical logic by rejecting some structural rules. The substructural logics considered here are linear logic, relevant logic and BCK logic. It is proved that first-order variants of these logics with an intuitionistic negation can be embedded by modal translations into S40type extensions of these logics with a classical, involutive, negation. Related embeddings via translations like the double-negation translation are also considered. Embeddings into analogues of S4 are obtained with the help of cut climination for sequent formulations of our substructural logics and their modal extensions. These results are proved for systems with equality too. | en |
dc.publisher | Springer Link | - |
dc.relation.ispartof | Journal of Philosophical Logic | en |
dc.title | Modal translations in substructural logics | en |
dc.type | Article | en |
dc.identifier.doi | 10.1007/BF00260931 | en |
dc.identifier.scopus | 2-s2.0-0039533715 | en |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.firstpage | 283 | en |
dc.relation.lastpage | 336 | en |
dc.relation.issue | 3 | en |
dc.relation.volume | 21 | en |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | Article | - |
item.grantfulltext | none | - |
item.cerifentitytype | Publications | - |
item.fulltext | No Fulltext | - |
SCOPUSTM
Citations
16
checked on Sep 18, 2024
Page view(s)
6
checked on Sep 18, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.