Alan Rose. Formalisation du calcul propositionnel implicatif à ℵ 0 valeurs de Łukasiewicz. Comptes rendus hebdomadaires des séances de l'Académie des Sciences, vol. 243 (1956), pp. 1183–1185 [Book Review]

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271187

Links

PhilArchive



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

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

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.
A Formalisation Of The Χ0-valued Łukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1967 - Mathematical Logic Quarterly 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.
Le Degré de Saturation du Calcul Propositionnel Implicatif à m Valeurs de Łukasiewicz.Alan Rose - 1957 - Journal of Symbolic Logic 22 (4):379-380.
Review: Alan Rose, Formalisation du Calcul Propositionnel Implicatif a m Valeurs de Lukasiewicz. [REVIEW]Eugen Mihailescu - 1971 - Journal of Symbolic Logic 36 (3):546-546.
A Formalisation of Post's m‐Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (3):221-226.
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 - Mathematical Logic Quarterly 28 (33‐38):505-510.
A formalisation of an m‐valued propositional calculus with variable functors.John Jones - 1983 - Mathematical Logic Quarterly 29 (6):377-378.
A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
Review: Alan Rose, Le Degre de Saturation du Calcul Propositionnel Implicatif a m Valeurs de Lukasiewicz. [REVIEW]Gene F. Rose - 1957 - Journal of Symbolic Logic 22 (4):379-380.
Universal Classes of MV-Chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
Review: Alan Rose, Le Degre de Saturation du Calcul Propositionnel Implicatif a Trois Valeurs de Sobocinski. [REVIEW]Gene F. Rose - 1954 - Journal of Symbolic Logic 19 (1):56-56.
Proper n-valued łukasiewicz algebras as s-algebras of łukasiewicz n-valued prepositional calculi.Roberto Cignoli - 1982 - Studia Logica 41 (1):3 - 16.
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.

Analytics

Added to PP
2015-02-05

Downloads
12 (#1,054,764)

6 months
4 (#818,853)

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