The Calculus of the Compatibility of Propositions

&

Abstract

Ivan Efimovič Orlov’s paper “The calculus of the compatibility of propositions”, published in Russian in 1928, is fascinating for anyone interested in the early history of relevance, modal or intuitionistic logic. This is a translation of that paper.

Categories

Add categories

Keywords

Reprint years

DOI

10.26686/ajl.v21i1.9487

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

A Guide to Ivan Orlov's "The calculus of the compatibility of propositions".David Makinson & Werner Stelzner - unknown
Completeness of quantum logic.E. -W. Stachow - 1976 - Journal of Philosophical Logic 5 (2):237 - 280.
Compatibility and relevance: Bolzano and Orlov.Werner Stelzner - 2002 - Logic and Logical Philosophy 10:137.
The theory of random propositions.John D. Norton - 1994 - Erkenntnis 41 (3):325 - 352.
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
Quantum Logic.Peter Mittelstaedt - 1978 - Dordrecht, Netherland: Reidel.
Should Propositions Proliferate?Bjørn Jespersen - 2015 - Thought: A Journal of Philosophy 4 (4):243-251.
The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer Academic Publishers. pp. 249--279.
A Demonstration of the Incompleteness of Calculi of Inductive Inference.John D. Norton - 2019 - British Journal for the Philosophy of Science 70 (4):1119-1144.
The deontic calculus dsc3.Leon Gumanski - 1981 - Bulletin of the Section of Logic 10 (2):63-66.
The Systems of Modal Calculus of Names. II: Part II. Modal Calculi of Names Based on the Classical Calculus of Propositions.Swietłana Lebiediewa - 1969 - Studia Logica 25:79-96.
A Theory of Structured Propositions.Andrew Bacon - 2023 - Philosophical Review 132 (2):173-238.
Operational foundation of quantum logic.P. Mittelstaedt & E. W. Stachow - 1974 - Foundations of Physics 4 (3):355-365.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Logical works, by Wajsberg Mordchaj. Edited and with an introduction by Surma Stanisław J.. ZakВad Narodowy imienia Ossolińskich, Wydawnictwo Polskiej Akademii Nauk, Wrocław etc. 1977, 216 pp.Surma Stanisław J.. Mordchaj Wajsberg. Life and work. Pp. 7–11.Wajsberg Mordchaj. Axiomatization of the three-valued propositional calculus. Pp. 12–29. A reprint of XXXV 442 .Wajsberg Mordchaj. On the axiom system of propositional calculus. Pp. 30–36. English translation of 4372.Wajsberg Mordchaj. A new axiom of propositional calculus in Sheffer's sbmbols. Pp. 37–39. English translation of 4373.Wajsberg Mordchaj. Investigations of functional calculus for finite domain of individuals. Pp. 40–49. English translation of 4374.Wajsberg Mordchaj. An extended class calculus. Pp. 50–61. English translation of 4375.Wajsberg Mordchaj. A contribution to metamathematics. Pp. 62–88. English translation of 4376.Wajsberg Mordchaj. Contributions to meta-calculus of propositions I. Pp. 89–106. English translation. [REVIEW]Storrs McCall - 1983 - Journal of Symbolic Logic 48 (3):873-874.

Analytics

Added to PP
2024-05-10

Downloads
0

6 months
0

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references