𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Formalisation of Post's m-Valued Propositional Calculusby Alan Rose

✍ Scribed by Review by: William T. Parry

Book ID
124949604
Publisher
Association for Symbolic Logic
Year
1956
Tongue
English
Weight
351 KB
Volume
21
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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