Algebraic Foundations of Many-Valued Reasoning

Başlık:

ISBN:

9789401594806

Personal Author:

Cignoli, R.L. author.

Edition:

1st ed. 2000.

Yayın Bilgileri:

Dordrecht : Springer Netherlands : Imprint: Springer, 2000.

Fiziksel Tanımlama:

IX, 233 p. 1 illus. online resource.

Series:

Trends in Logic, Studia Logica Library, 7

Contents:

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.

Subject Term:

Mathematical logic.

Logic.

Algebra.

Computer science -- Mathematics.

Discrete mathematics.

Artificial intelligence.

Mathematical Logic and Foundations.

Order, Lattices, Ordered Algebraic Structures.

Discrete Mathematics in Computer Science.

Added Author:

d'Ottaviano, Itala M.