Authors: Došen, Kosta 
Affiliations: Mathematical Institute of the Serbian Academy of Sciences and Arts 
Title: The first axiomatization of relevant logic
Journal: Journal of Philosophical Logic
Volume: 21
Issue: 4
First page: 339
Last page: 356
Issue Date: 1-Nov-1992
ISSN: 0022-3611
DOI: 10.1007/BF00260740
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.
Publisher: Springer Link

Show full item record


checked on Jul 14, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.