๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Complete Axiomatisation of any Many-Valued Propositional Logic

โœ Scribed by John Williamson

Publisher
John Wiley and Sons
Year
1976
Tongue
English
Weight
481 KB
Volume
22
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An Axiomatisation of the Conditionals of
An Axiomatisation of the Conditionals of Post's Many Valued Logics
โœ Stan J. Surma ๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 180 KB ๐Ÿ‘ 1 views

The paper provides a method for a uniform complete Hilbert-style axiomatisation of Post's (m, u)-conditionals and Post's negation, where rn is the number of truth values and u is the number of designated truth values (cf. [5]). The main feature of the technique which we employ in this proof generali