𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On a Three-Valued Logical Calculus and its Application to the Analysis of Contradictionsby D. A. Bočvar

✍ Scribed by Review by: Alonzo Church

Book ID
124940646
Publisher
Association for Symbolic Logic
Year
1939
Tongue
English
Weight
304 KB
Volume
4
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