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

intuitionismIvan OrlovKosta Došenlogic in Russiaparaconsistencyrelevant logic

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• 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
• scientific article; zbMATH DE number 60834 (Why is no real title available?)
• Compatibility and relevance: Bolzano and Orlov
• Reflections on a Theme of Ulam
• A short discussion of the OR crisis

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)