𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An Interpretation of Many-Valued Logic

✍ Scribed by Alasdair Urquhart

Publisher
John Wiley and Sons
Year
1973
Tongue
English
Weight
258 KB
Volume
19
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Companion to Philosophical Logic || Ma
A Companion to Philosophical Logic || Many-Valued Logic
✍ Jacquette, Dale πŸ“‚ Article πŸ“… 2006 πŸ› Blackwell Publishing Ltd 🌐 English βš– 111 KB

Edited By Dale Jacquette. Includes Bibliographical References And Index.

Ultraproducts of Z with an Application t
Ultraproducts of Z with an Application to Many-Valued Logics
✍ Joan Gispert i BrasΓ³; Daniele Mundici; Antoni Torrens Torrell πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 140 KB

Up to categorical equivalence, abelian lattice-ordered groups with strong unit coincide with Chang's MV-algebrasᎏthe Lindenbaum algebras of the infinite-valued Łukasiewicz calculus. While the property of being a strong unit is not definable even in first-order logic, MV-algebras form an equational c

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