Algebraic Foundations of Many-Valued Reasoning

Více o knize

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.