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:
Main Authors: | , , , |
---|---|
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!
|