Non-commutative Multiple-Valued Logic Algebras

This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-valued logic algebras; a subject which has attracted much interest in the past few years because of its impact on information science, artificial intelligence and other subjects.
 
A study of the newest results in the field, the monograph includes treatment of pseudo-BCK algebras, pseudo-hoops, residuated lattices, bounded divisible residuated lattices, pseudo-MTL algebras, pseudo-BL algebras and pseudo-MV algebras. It provides a fresh perspective on new trends in logic and algebras in that algebraic structures can be developed into fuzzy logics which connect quantum mechanics, mathematical logic, probability theory, algebra and soft computing.
 
Written in a clear, concise and direct manner, Non-Commutative Multiple-Valued Logic Algebras will be of interest to masters and PhD students, as well as researchers in mathematical logic and theoretical computer science.

• BCI-Algebras
• BCK-Algebras
• Congruence Relations
• Fuzzy Logic
• Fuzzy Measure Theory
• Lattices and Duality
• Lattices and Related Structures
• MV-Algebras
• Many-Valued Logic
• Ordered Abelian Groups
• Quantum Logic
• Subalgebras
• Subdirect Irreducibility
• Subdirect Products

From the reviews:

“Over the last 25 years, many-valued logics and their algebras have been increasingly attracting the attention of various researchers worldwide … . The monograph under review provides a virtually self-contained introduction to all these algebras. … This book is a valuable addition to the literature on noncommutative algebraic logic: it will be of interest to researchers in mathematical logic and theoretical computer science.” (Daniele Mundici, zbMATH, Vol. 1279, 2014)

• University of Iowa Department of Mathematics, Iowa City, USA

  Lavinia Corina Ciungu

Policies and ethics