๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The modular logic as a calculus of logical schemata

โœ Scribed by Jerzy Kotas


Publisher
Springer Netherlands
Year
1971
Tongue
English
Weight
256 KB
Volume
27
Category
Article
ISSN
0039-3215

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