DC Field | Value | Language |
---|---|---|
dc.contributor.author | Došen, Kosta | en |
dc.date.accessioned | 2020-04-27T10:33:32Z | - |
dc.date.available | 2020-04-27T10:33:32Z | - |
dc.date.issued | 1992-11-01 | en |
dc.identifier.issn | 0022-3611 | en |
dc.identifier.uri | http://researchrepository.mi.sanu.ac.rs/handle/123456789/716 | - |
dc.description.abstract | This is a review, with historical and critical comments, of a paper by I. E. Orlov from 1928, which gives the oldest known axiomatization of the implication-negation fragment of the relevant logic R. Orlov's paper also foreshadows the modal translation of systems with an intuitionistic negation into S4-type extensions of systems with a classical, involutive, negation. Orlov introduces the modal postulates of S4 before Becker, Lewis and Gödel. Orlov's work, which seems to be nearly completely ignored, is related to the contemporancous work on the axiomatization of intuitionistic logic. | en |
dc.publisher | Springer Link | - |
dc.relation.ispartof | Journal of Philosophical Logic | en |
dc.title | The first axiomatization of relevant logic | en |
dc.type | Article | en |
dc.identifier.doi | 10.1007/BF00260740 | en |
dc.identifier.scopus | 2-s2.0-23544452821 | en |
dc.contributor.affiliation | Mathematical Institute of the Serbian Academy of Sciences and Arts | - |
dc.relation.firstpage | 339 | en |
dc.relation.lastpage | 356 | en |
dc.relation.issue | 4 | en |
dc.relation.volume | 21 | 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
29
checked on Oct 20, 2024
Page view(s)
15
checked on Oct 20, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.