Rose Alan. A Normalisation of Post's m-valued propositional calculus. Mathematische Zeitschrift, vol. 56 no. 1 , pp. 94–104 [Book Review]
Journal of Symbolic Logic 21 (4):400-401 (1956)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2268412
My notes
Similar books and articles
Rose Alan. An alternative Normalisation of Sobociński's three-valued implicational propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik , vol. 2 pp. 166–172. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (4):380-380.
A Formalisation of Post'sm-Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (3):221-226.
Rose Alan. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 , pp. 152–165.Rose Alan. A lattice-theoretic characterisation of the ℵ0-valued Propositional Calculus. Mathematische Annalen, vol. 123 , pp. 285–287.Rose Alan. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 , pp. 47–49. [REVIEW]A. R. Turquette - 1952 - Journal of Symbolic Logic 17 (2):147-148.
Rose Alan. Fragments of the m-valued propositional calculus. Mathematische Zeitschrift, vol. 59 no. 2 , pp. 206–210.A. R. Turquette - 1958 - Journal of Symbolic Logic 23 (1):64-65.
A Strongly Complete Formalisation of a 5-Valued Propositional Calculus.Alan Rose† - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):243-244.
An alternative formalisation of Sobociński's three-valued implicational propositional calculus.Alan Rose - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):166-172.
Two Non-Henkinian Fragments of the 2-Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (1):45-55.
Single generators for Henkinian fragments of the 2-valued propositional calculus.Alan Rose - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (6):85-92.
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 Simplified Selfm-AL Set of Primitive Functors for them-Valued Propositional Calculus.Alan Rose - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (3-4):257-266.
A Formalisation of The χ0-Valued ŁUkasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1967 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):293-294.
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.
Review: Alan Rose, A Formalisation of Post's m-Valued Propositional Calculus. [REVIEW]William T. Parry - 1956 - Journal of Symbolic Logic 21 (4):400-401.
Analytics
Added to PP
2016-06-30
Downloads
4 (#1,238,996)
6 months
2 (#297,737)
2016-06-30
Downloads
4 (#1,238,996)
6 months
2 (#297,737)
Historical graph of downloads
