Springer eBooks may be purchased by end-customers only and are sold without copy protection (DRM free). Instead, all eBooks include personalized watermarks. This means you can read the Springer eBooks across numerous devices such as Laptops, eReaders, and tablets.
You can pay for Springer eBooks with Visa, Mastercard, American Express or Paypal.
After the purchase you can directly download the eBook file or read it online in our Springer eBook Reader. Furthermore your eBook will be stored in your MySpringer account. So you can always re-download your eBooks.
First monograph which treats unitary the non-commutative multiple-valued logic algebras from general to particular; that is, from pseudo-BCK algebras to pseudo-MV algebras
Explains the development of the field over the past few decades
Presents a fresh view on new trends in logic and algebra
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.
Content Level »Research
Keywords »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