A Formalisation Of The M-valued Lukasiewicz Implicational Propositional Calculus With Variable Functors

Mathematical Logic Quarterly 12 (1):169-176 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19660120112

Links

PhilArchive



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

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 - Mathematical Logic Quarterly 13 (19-20):293-294.
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. [REVIEW]B. Scarpellini - 1970 - Journal of Symbolic Logic 35 (1):143-143.
Alan Rose. A formalisation of the ℵ 0 -valued Łukasiewicz implicational propositional calculus with variable functors. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 (1967), pp. 293–294. [REVIEW]A. Mostowski - 1970 - Journal of Symbolic Logic 35 (1):143-143.
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 Lukasiewicz Implicational Propositional Calculus with Variable Functors.B. Scarpellini & Alan Rose - 1970 - Journal of Symbolic Logic 35 (1):143.
A formalisation of an m‐valued propositional calculus with variable functors.John Jones - 1983 - Mathematical Logic Quarterly 29 (6):377-378.
A Formalisation of Post's m‐Valued Propositional Calculus with Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (3):221-226.
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.
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 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 13 (19-20):293-294.

Analytics

Added to PP
2014-01-16

Downloads
1 (#1,913,683)

6 months
17 (#161,763)

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