✦ LIBER ✦

m-Valued Sub-System of (m+n)-Valued Propositional Calculus

✍ Scribed by Tzu-Hua Hoo

Book ID: 124185053
Publisher: Association for Symbolic Logic
Year: 1949
Tongue: English
Weight: 451 KB
Volume: 14
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2267048

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

m-Valued Sub-System of (m + n)-Valued Pr

m-Valued Sub-System of (m + n)-Valued Propositional Calculusby Tzu-Hua Hoo

✍ Review by: A. R. Turquette 📂 Article 📅 1950 🏛 Association for Symbolic Logic 🌐 English ⚖ 167 KB

The Functional Completeness of Post's m-

The Functional Completeness of Post's m-Valued Propositional Calculus

✍ Sally Barton 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 92 KB

The Degree of Completeness of the m-Valu

The Degree of Completeness of the m-Valued Lukasiewicz Propositional Calculus

✍ Rose, A. 📂 Article 📅 1969 🏛 Oxford University Press 🌐 English ⚖ 119 KB

The Degree of Completeness of the M-Valu

The Degree of Completeness of the M-Valued Lukasiewicz Propositional Calculus

✍ Rose, A. 📂 Article 📅 1952 🏛 Oxford University Press 🌐 English ⚖ 332 KB

A FORMALISATION OF AN m-VALUED PROPOSITI

A FORMALISATION OF AN m-VALUED PROPOSITIONAL CALCULUS WITH VARIABLE FUNCTORS

✍ John Jones 📂 Article 📅 1983 🏛 John Wiley and Sons 🌐 English ⚖ 95 KB 👁 1 views

A Formalisation of Post's m-Valued Propo

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

✍ Alan Rose 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 224 KB

The m-valued propositional calculi of POST') with one designated truth-value have been formalised2) by means of ten axioms and the rules of substitution and modus ponens. However, in view of the definition of the functor "=" as a conjunction, several axioms may be regarded as sets of m axioms. The o