Reflections on Orlov

DOI10.1080/01445340.2021.1883319zbMATH Open1512.03009OpenAlexW3137363894MaRDI QIDQ6098652FDOQ6098652

Authors: Graham Priest 

Publication date: 14 June 2023

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2021.1883319

Recommendations

• The first axiomatization of relevant logic
• On some aspects of Brouwer's logic (1929) (publication, translation from the French and comments by M. M. Novoselov)
• scientific article; zbMATH DE number 60834
• On the logic of Mr. Brouwer (1928) (publication, translation from the French and comments by M. M. Novoselov)
• Compatibility and relevance: Bolzano and Orlov

zbMATH Keywords

paraconsistencyrelevant logicintuitionismlogic in RussiaIvan OrlovKosta Došen

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Paraconsistent logics (03B53) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• The semantics of entailment. II
• Transfinite cardinals in paraconsistent set theory
• An introduction to non-classical logic. From if to is
• Transfinite numbers in paraconsistent set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal companions of intermediate propositional logics
• Handbook of philosophical logic. Vol. 6
• On the provability logic of bounded arithmetic
• Title not available (Why is that?)
• Simplified semantics for basic relevant logics
• The first axiomatization of relevant logic
• Simplified semantics for relevant logics (and some of their rivals)
• Models for normal intuitionistic modal logics
• INTUITIONISTIC EPISTEMIC LOGIC
• Whither relevant arithmetic?
• Compatibility and relevance: Bolzano and Orlov
• A Bibliography of Symbolic Logic
• Gödel, Gentzen, Goodstein: the magic sound of a G-string

Cited In (5)

• The first axiomatization of relevant logic
• Reflections on a Theme of Ulam
• A short discussion of the OR crisis
• Compatibility and relevance: Bolzano and Orlov
• Title not available (Why is that?)

This page was built for publication: Reflections on Orlov

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6098652)