A Formalisation of the m-Valued Łukasiewicz Propositional Calculus with Super-Designated Truth-Values

Journal of Symbolic Logic 36 (3):546-546 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270023

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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 M-valued Łukasiewicz Propositional Calculus With Super-designated Truth-values.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):295-298.
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 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 M-valued Lukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1966 - Mathematical Logic Quarterly 12 (1):169-176.
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 Post's m-Valued Propositional Calculus.Alan Rose - 1956 - Journal of Symbolic Logic 21 (4):400-401.
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.
The Degree of Completeness of the m-Valued Łukasiewicz Propositional Calculus.Alan Rose - 1956 - Journal of Symbolic Logic 21 (3):327-328.
Review: Eugen Gh. Mihailescu, Researches on Sub-Systems of the Propositional Calculus. [REVIEW]Helena Rasiowa - 1952 - Journal of Symbolic Logic 17 (4):277-278.
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
2017-02-21

Downloads
6 (#1,482,377)

6 months
4 (#1,006,062)

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