Cargando…

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Boicescu, V. (Vlad), 1945-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : New York, NY, USA : North-Holland ; Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1991.
Colección:Annals of discrete mathematics ; 49.
Temas:
Acceso en línea:Texto completo
Texto completo
Texto completo
Descripción
Sumario: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.
Descripción Física:1 online resource (xv, 583 pages)
Bibliografía:Includes bibliographical references (pages 551-574) and indexes.
ISBN:9780444884442
0444884440
9780080867892
0080867898
1281782912
9781281782915