Algebraic Foundations of Many-Valued Reasoning [electronic resource] /

1 Basic notions -- 2 Chang completeness theorem -- 3 Free MV-algebras -- 4 ?ukasiewicz ?-valued calculus -- 5 Ulam’s game -- 6 Lattice-theoretical properties -- 7 MV-algebras and ?-groups -- 8 Varieties of MV-algebras -- 9 Advanced topics -- 10 Further Readings.

Saved in:
Bibliographic Details
Main Authors: Cignoli, Roberto L. O. author., D’Ottaviano, Itala M. L. author., Mundici, Daniele. author., SpringerLink (Online service)
Format: Texto biblioteca
Language:eng
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2000
Subjects:Mathematics., Logic., Computer science, Artificial intelligence., Algebra., Ordered algebraic structures., Mathematical logic., Mathematical Logic and Foundations., Order, Lattices, Ordered Algebraic Structures., Discrete Mathematics in Computer Science., Artificial Intelligence (incl. Robotics).,
Online Access:http://dx.doi.org/10.1007/978-94-015-9480-6
Tags: Add Tag
No Tags, Be the first to tag this record!