✦ LIBER ✦

On the consistency of a three-valued logical calculus

✍ Scribed by D. A. Bochvar

Publisher: Springer Netherlands
Year: 1984
Tongue: English
Weight: 866 KB
Volume: 3
Category: Article
ISSN: 0167-7411
DOI: 10.1007/bf00136115

No coin nor oath required. For personal study only.

✦ Synopsis

The present paper contains an investigation of a three-valued logical calculus (the ~ system) previously described by the author [RecueHMathdmatique 4 (46), 2 (1938)1.

A constructive consistence proof is given for a part of this calculus rendering the results previously published concerning the Russell paradox. A method for a non-constructive completeness proof for the complete calculus is briefly indicated.

📜 SIMILAR VOLUMES

A modal interpretation of three-valued l

A modal interpretation of three-valued logic

✍ Peter W. Woodruff 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 364 KB

A proof of axiomatizability of łukasiewi

A proof of axiomatizability of łukasiewicz’s three-valued implicational propositional calculus

✍ T. Prucnal 📂 Article 📅 1967 🏛 Springer Netherlands 🌐 English ⚖ 23 KB

Formal Axiomatic Theories Based on a Thr

Formal Axiomatic Theories Based on a Three-Valued Logic

✍ I. D. Zaslavsky 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 477 KB

Algebraization of the Three-valued BCK-l

Algebraization of the Three-valued BCK-logic

✍ Francisco M. García Olmedo; Antonio J. Rodríguez Salas 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 252 KB

The modular logic as a calculus of logic

The modular logic as a calculus of logical schemata

✍ Jerzy Kotas 📂 Article 📅 1971 🏛 Springer Netherlands 🌐 English ⚖ 256 KB

On a class of functionally complete mult

On a class of functionally complete multi-valued logical calculi

✍ Václav Pinkava 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 447 KB