IMIST


Ciungu, Lavinia Corina.

Non-commutative Multiple-Valued Logic Algebras [electronic resource] / by Lavinia Corina Ciungu. - XIV, 276 p. online resource. - Springer Monographs in Mathematics, 1439-7382 . - Springer Monographs in Mathematics, .

Pseudo-BCK algebras -- Pseudo-hoops -- Residuated lattices -- Other non-commutative multiple-valued logic algebras -- Classes of non-commutative residuated structures -- States on multiple-valued logic algebras -- Measures on pseudo-BCK algebras -- Generalized states on residuated structures -- Pseudo-hoops with internal states.

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.

9783319015897

10.1007/978-3-319-01589-7 doi


Mathematics.
Algebra.
Ordered algebraic structures.
Measure theory.
Mathematical logic.
Probabilities.
Mathematics.
Mathematical Logic and Foundations.
Order, Lattices, Ordered Algebraic Structures.
Probability Theory and Stochastic Processes.
Measure and Integration.

QA8.9-10.3

511.3
© Tous droits résérvés IMIST/CNRST
Angle Av. Allal Al Fassi et Av. des FAR, Hay Ryad, BP 8027, 10102 Rabat, Maroc
Tél:(+212) 05 37.56.98.00
CNRST / IMIST

Propulsé par Koha