Lukasiewicz-Moisil algebras
The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valued logics of Lukasiewicz. The theory of LM-algebras has developed to a considerable extent both as an algebraic theory of intrinsic interest and in view of its applications to logic and switching theo...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Amsterdam
North-Holland
1991, 1991
|
Series: | Annals of discrete mathematics
|
Subjects: | |
Online Access: | |
Collection: | Elsevier eBook collection Mathematics - Collection details see MPG.ReNa |
Summary: | The Lukasiewicz-Moisil algebras were created by Moisil as an algebraic counterpart for the many-valued logics of Lukasiewicz. The theory of LM-algebras has developed to a considerable extent both as an algebraic theory of intrinsic interest and in view of its applications to logic and switching theory. This book gives an overview of the theory, comprising both classical results and recent contributions, including those of the authors. N-valued and & THgr;-valued algebras are presented, as well as & THgr;-algebras with negation. Mathematicians interested in lattice theory or symbolic logic, and computer scientists, will find in this monograph stimulating material for further research |
---|---|
Physical Description: | xv, 583 pages |
ISBN: | 9780444884442 1281782912 9780080867892 0080867898 0444884440 |