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.
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.
Rezensionen / Stimmen
The detailed presentation will make this monograph useful for a semester course, but it will also be valuable as a reference for mathematicians, logicians and computer scientists. In addition, there is stimulating material in this monograph for further investigation.Zentralblatt fuer Mathematik
The detailed presentation will make this monograph useful for a semester course, but it will also be valuable as a reference for mathematicians, logicians and computer scientists. In addition, there is stimulating material in this monograph for further investigation.Zentralblatt fuer Mathematik
Reihe
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science & Technology
Zielgruppe
Für höhere Schule und Studium
Für Beruf und Forschung
ISBN-13
978-0-444-88444-2 (9780444884442)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Klassifikation
Autor*in
Polytechnical Institute, Bucharest, Romania
Polytechnical Institute, Bucharest, Romania
Institute of Mathematics, Bucharest, Romania
Faculty of Mathematics, University of Bucharest, Romania
Lattices, Universal Algebra and Categories. Topological Dualities in Lattice Theory. Elementary Properties of Lukasiewicz-Moisil Algebras. Connections with Other Classes of Lattices. Filters, Ideals and &ngr;-Congruences. Representation Theorems and Duality for Lukasiewicz-Moisil Algebras. Categorical Properties of Lukasiewicz-Moisil Algebras. Monadic and Polyadic Lukasiewicz-Moisil Algebras. Lukasiewicz Logics. Appendix: Applications to Switching Theory. References. Author Index. Subject Index.
