Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability /

• Κύριοι συγγραφείς: Xu, Yang (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut), Ruan, Da (http://id.loc.gov/vocabulary/relators/aut), Qin, Keyun (http://id.loc.gov/vocabulary/relators/aut), Liu, Jun (http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Studies in Fuzziness and Soft Computing, 132
• Θέματα: Computational complexity.; Mathematical logic.; System theory.; Computer science-Mathematics.; Artificial intelligence.; Group theory.; Complexity.; Mathematical Logic and Foundations.; Systems Theory, Control.; Math Applications in Computer Science.; Artificial Intelligence.; Group Theory and Generalizations.

Lattice-valued logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research...

Πίνακας περιεχομένων:

• I Introduction
• 1 Introduction
• II Lattice Implication Algebras
• 2 Concepts and Properties
• 3 Filters
• 4 LI-Ideals
• 5 Homomorphisms and Representations
• 6 Topological Structure of Filter Spaces
• 7 Connections with Related Algebras
• 8 Related Issues
• III Lattice-Valued Logic Systems
• 9 Lattice-Valued Propositional Logics
• 10 Lattice-Valued First-Order Logics
• 11 Uncertainty and Automated Reasoning
• References.