scientific article; zbMATH DE number 1302501
The authors combine the ideas presented in earlier work of the first author [e.g., ``The logic of Ulam's game with lies (1992; Zbl 0831.90131); preliminary version (1990; Zbl 0742.03006); ``Łukasiewicz normal forms and toric desingularizations (1996; Zbl 0865.03014)] into a modern presentation of the infinite-valued calculus of Łukasiewicz. Propositions are interpreted in the context of Ulam's Twenty Questions game, in which some of the answers may be erroneous [see also Zbl 0792.03042, Zbl 0780.03030, Zbl 0753.03010, Zbl 0674.90110, Zbl 0662.68059]. A geometric proof of the completeness of the calculus is presented, using techniques that were originally developed to desingularize toric varieties. In the light of this completeness theorem, the interplay between theories and mathematical structures is discussed. It is shown that the Lindenbaum algebras of the infinite-valued calculus, Chang's MV-algebras [see also \textit{R. Cignoli} and \textit{D. Mundici}, ``An invitation to Chang's MV algebras, in M. Droste et al. (eds.), Advances in algebra and model theory (Gordon and Breach, Reading), Algebra Log. Appl. 9, 171-197 (1997)], stand to AF \(C^*\)-algebras as Boolean algebras stand to commutative AF \(C^*\)-algebras. The many-valued counterparts of completeness and incompleteness are shown to have a nontrivial impact on \(C^*\)-algebraic quotient structures. For the entire collection see [Zbl 0905.00049].
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249031)
