Review: Alan Rose, A Formalisation of Post's m-Valued Propositional Calculus [Book Review]
Journal of Symbolic Logic 21 (4):400-401 (1956)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2268412
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A Formalisation of Post's m‐Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (3):221-226.
Review: Alan Rose, An Alternative Formalisation of Sobocinski's Three-Valued Implicational Propositional Calculus. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (4):380-380.
A Strongly Complete Formalisation of a 5‐Valued Propositional Calculus.Alan Rose† - 1987 - Mathematical Logic Quarterly 33 (3):243-244.
An alternative formalisation of Sobociński's three‐valued implicational propositional calculus.Alan Rose - 1956 - Mathematical Logic Quarterly 2 (10‐15):166-172.
Review: Alan Rose, Formalisation du Calcul Propositionnel implicatif a $aleph_0$-Valued Lukasiewicz Propositional Calculus with Varible Functors. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.
Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
A Formalisation of The χ0-Valued ŁUkasiewicz Propositional Calculus With Variable Functors.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):289-292.
A Formalisation Of TheM-Valued ŁUkasiewicz Propositional Calculus With Super-Designated Truth-Values.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):295-298.
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Mathematical Logic Quarterly 9 (12‐15):177-198.
Analytics
Added to PP
2013-11-22
Downloads
7 (#1,045,441)
6 months
1 (#452,962)
2013-11-22
Downloads
7 (#1,045,441)
6 months
1 (#452,962)
Historical graph of downloads
