A New Symbolism for the Propositional Calculus
Journal of Symbolic Logic 23 (1):63-63 (1958)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Review: William Tuthill Parry, A New Symbolism for the Propositional Calculus; Gerald B. Standley, Ideographic Computation in the Propositional Calculus. [REVIEW]Czesław Lejewski - 1958 - Journal of Symbolic Logic 23 (1):63-63.
A new symbolism for the propositional calculus.William Tuthill Parry - 1954 - Journal of Symbolic Logic 19 (3):161-168.
Parry William Tuthill. A new symbolism for the propositional calculus. [REVIEW]Czesław Lejewski - 1958 - Journal of Symbolic Logic 23 (1):63-63.
Compatible Functions in Algebras Associated to Extensions of Positive Logic.Rodolfo Ertola, Adriana Galli & Marta Sagastuma - 2007 - Logic Journal of the IGPL 15 (1):109-119.
Undecidability of the Problem of Recognizing Axiomatizations of Superintuitionistic Propositional Calculi.Evgeny Zolin - 2014 - Studia Logica 102 (5):1021-1039.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Greniewski Henryk. Functors of the propositional calculus. VI Zjazd Matematyków Polskich, Warszawa 20–23 IX 1948, supplement to Annales de la Société Polonaise de Mathématique, vol. 22, Cracow 1950, pp. 78–86.Greniewski Henryk. Certain notions of the theory of numbers as applied to the propositional calculus. English with brief Polish summary. Časopis pro pěstováni matematiky a fysiky, vol. 74 , pp. 132–136.Greniewski Henryk. Groups and fields definable in the propositional calculus. Towarzystwo Naukowe Warszawskie, Sprawozdania z posiedzé wydzialu III nauk matematyczno fizycznych , vol. 43 , pp. 53–48.Greniewski H.. Arithmetics of natural numbers as part of the bi-valued propositional calculus. Colloquium matkematicum, vol. 2 no. 3–4 , pp. 291–297. [REVIEW]G. T. Kneebone - 1968 - Journal of Symbolic Logic 33 (2):304-305.
The Lambek Calculus Extended with Intuitionistic Propositional Logic.Michael Kaminski & Nissim Francez - 2016 - Studia Logica 104 (5):1051-1082.
On the period of sequences (an(p)) in intuitionistic propositional calculus.Wim Ruitenburg - 1984 - Journal of Symbolic Logic 49 (3):892 - 899.
Ideographic computation in the propositional calculus.Gerald B. Standley - 1954 - Journal of Symbolic Logic 19 (3):169-171.
Valuation Semantics for Intuitionic Propositional Calculus and some of its Subcalculi.Andréa Loparić - 2010 - Principia: An International Journal of Epistemology 14 (1):125-33.
On the computational content of intuitionistic propositional proofs.Samuel R. Buss & Pavel Pudlák - 2001 - Annals of Pure and Applied Logic 109 (1-2):49-64.
Analytics
Added to PP
2017-02-21
Downloads
2 (#1,403,216)
6 months
1 (#454,876)
2017-02-21
Downloads
2 (#1,403,216)
6 months
1 (#454,876)
Historical graph of downloads
