Lattice-Valued Logic An Alternative Approach to Treat Fuzziness and Incomparability
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...
Main Authors: | , , , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2003, 2003
|
Edition: | 1st ed. 2003 |
Series: | Studies in Fuzziness and Soft Computing
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 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