A Formalisation Of The M-valued Łukasiewicz Propositional Calculus With Super-designated Truth-values

Mathematical Logic Quarterly 13 (19-20):295-298 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19670131904

Links

PhilArchive



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

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.Eugen Mihǎilescu - 1971 - Journal of Symbolic Logic 36 (3):546-546.
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.
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, A Formalisation of Post's m-Valued Propositional Calculus. [REVIEW]William T. Parry - 1956 - Journal of Symbolic Logic 21 (4):400-401.
A Formalisation Of The Χ0-valued Łukasiewicz Propositional Calculus With Variable Functors.Alan Rose - 1967 - Mathematical Logic Quarterly 13 (19-20):289-292.
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. The degree of completeness of the m-valued Łukasiewicz propositional calculus, Correction and addendum. Journal of the London Mathematical Society, vol. 44 , pp. 587–591. [REVIEW]Gene F. Rose - 1974 - Journal of Symbolic Logic 39 (2):350-350.
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.

Analytics

Added to PP
2017-02-21

Downloads
3 (#1,729,833)

6 months
1 (#1,719,665)

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