Algebraic Foundations of Many-Valued Reasoning
- 244 stránek
- 9 hodin čtení
This book provides self-contained proofs of fundamental results in Lukasiewicz's infinite-valued propositional calculus and Chang's MV-algebras. Aimed at self-study, it requires basic knowledge of classical logic, algebra, and topology. It explores the relationship between MV-algebras and infinite-valued logic using Ulam's game of Twenty Questions.
