Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 293–294 [Book Review]

Journal of Symbolic Logic 35 (1):143-143 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200092562

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

Similar books and articles

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 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.
Rose Alan. A formalisation of the ℵ0-valued Łukasiewicz propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 289–292. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):142-142.
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.
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.
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 an ℵ0-Valued Propositional Calculus with Variable Functors.John Jones - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):505-510.
A Formalisation Of The Χ0-valued Łukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):293-294.
Rose Alan. A formalisation of the m-valued Łukasiewicz propositional calculus with super-designated truth-values. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 295–298. [REVIEW]Eugen Mihailescu - 1971 - Journal of Symbolic Logic 36 (3):546-546.
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.
A Simplified Self m_‐AL Set of Primitive Functors for the _m‐Valued Propositional Calculus.Alan Rose - 1962 - Mathematical Logic Quarterly 8 (3-4):257-266.
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 the ℵ 0 -Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors.B. Scarpellini & Alan Rose - 1970 - Journal of Symbolic Logic 35 (1):143.
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):177-198.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,310,999)

6 months
1 (#1,444,594)

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