𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the Consistency of a Three-Valued Logical Calculusby D. A. Bočvar (D. A. Bochvar)

✍ Scribed by Review by: Wanda Szmielew

Book ID
124945759
Publisher
Association for Symbolic Logic
Year
1946
Tongue
English
Weight
203 KB
Volume
11
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the consistency of a three-valued log
On the consistency of a three-valued logical calculus
✍ D. A. Bochvar 📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 866 KB

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 Rus