A new symbolism for the propositional calculus
Journal of Symbolic Logic 19 (3):161-168 (1954)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2268612
My notes
Similar books and articles
On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
On Interpreting the S5 Propositional Calculus: an essay in philosophical logic.Michael J. Carroll - 1976 - Dissertation, University of Iowa
A finite model theorem for the propositional μ-calculus.Dexter Kozen - 1988 - Studia Logica 47 (3):233 - 241.
Quantum logical calculi and lattice structures.E. -W. Stachow - 1978 - Journal of Philosophical Logic 7 (1):347 - 386.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Analytics
Added to PP
2009-01-28
Downloads
28 (#419,325)
6 months
1 (#454,876)
2009-01-28
Downloads
28 (#419,325)
6 months
1 (#454,876)
Historical graph of downloads
Citations of this work
Arthur N. Prior on ‘Unquestionably the Best Logical Symbolism for Most Purposes’.Jeremiah Joven B. Joaquin - 2021 - History and Philosophy of Logic 43 (2):158-174.
A new symbolic representation for the algebra of sets.Jerome Frazee - 1990 - History and Philosophy of Logic 11 (1):67-75.
A new symbolic representation of the basic truth-functions of the propositional calculus.Jerome Frazee - 1988 - History and Philosophy of Logic 9 (1):87-91.
References found in this work
Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Mathematical Logic. [REVIEW]E. N. & Willard Van Orman Quine - 1940 - Journal of Philosophy 37 (23):640.