A Formalisation of Post's m‐Valued Propositional Calculus with Variable Functors

Mathematical Logic Quarterly 11 (3):221-226 (1965)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19650110306

Other Versions

original Rose, Alan (1965) "A Formalisation of Post'sm-Valued Propositional Calculus with Variable Functors". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11(3):221-226

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

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 Lukasiewicz Implicational Propositional Calculus With Variable Functors.Alan Rose - 1966 - Mathematical Logic Quarterly 12 (1):169-176.
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 The Χ0-valued Łukasiewicz Propositional Calculus With Variable Functors.Alan Rose - 1967 - Mathematical Logic Quarterly 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.
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.

Analytics

Added to PP
2013-11-24

Downloads
29 (#773,133)

6 months
4 (#1,246,940)

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