𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Theorem About Infinite-Valued Sentential Logic

✍ Scribed by Robert McNaughton


Book ID
124958841
Publisher
Association for Symbolic Logic
Year
1951
Tongue
English
Weight
1001 KB
Volume
16
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A two-valued logic for reasoning about d
✍ Beata Konikowska πŸ“‚ Article πŸ“… 1990 πŸ› Springer Netherlands 🌐 English βš– 807 KB

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by "consequence" operators. These operators correspond to the three "sensible" t