Reflections on Orlov

DOI10.1080/01445340.2021.1883319MaRDI QIDQ6098652zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

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

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
• scientific article; zbMATH DE number 60834 (Why is no real title available?)

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)