𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Logical Calculus of Meaning and Synonymy

✍ Scribed by Yiannis N. Moschovakis


Publisher
Springer Netherlands
Year
2006
Tongue
English
Weight
598 KB
Volume
29
Category
Article
ISSN
0165-0157

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the consistency of a three-valued log
✍ 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