Axioms for Lattices and Boolean Algebras

Axioms for Lattices and Boolean Algebras
Author :
Publisher : World Scientific
Total Pages : 229
Release :
ISBN-10 : 9789812834546
ISBN-13 : 9812834540
Rating : 4/5 (540 Downloads)

Book Synopsis Axioms for Lattices and Boolean Algebras by : Ranganathan Padmanabhan

Download or read book Axioms for Lattices and Boolean Algebras written by Ranganathan Padmanabhan and published by World Scientific. This book was released on 2008 with total page 229 pages. Available in PDF, EPUB and Kindle. Book excerpt: The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique research monograph systematically presents minimal equational axiom-systems for various lattice-related algebras, regardless of whether they are given in terms of ?join and meet? or other types of operations such as ternary operations. Each of the axiom-systems is coded in a handy way so that it is easy to follow the natural connection among the various axioms and to understand how to combine them to form new axiom systems. A new topic in this book is the characterization of Boolean algebras within the class of all uniquely complemented lattices. Here, the celebrated problem of E V Huntington is addressed, which ? according to G Gratzer, a leading expert in modern lattice theory ? is one of the two problems that shaped a century of research in lattice theory. Among other things, it is shown that there are infinitely many non-modular lattice identities that force a uniquely complemented lattice to be Boolean, thus providing several new axiom systems for Boolean algebras within the class of all uniquely complemented lattices. Finally, a few related lines of research are sketched, in the form of appendices, including one by Dr Willian McCune of the University of New Mexico, on applications of modern theorem-proving to the equational theory of lattices.


Axioms for Lattices and Boolean Algebras Related Books

Axioms for Lattices and Boolean Algebras
Language: en
Pages: 229
Authors: Ranganathan Padmanabhan
Categories: Mathematics
Type: BOOK - Published: 2008 - Publisher: World Scientific

DOWNLOAD EBOOK

The importance of equational axioms emerged initially with the axiomatic approach to Boolean algebras, groups, and rings, and later in lattices. This unique res
Ordered Sets and Lattices II
Language: en
Pages: 262
Authors:
Categories: Mathematics
Type: BOOK - Published: - Publisher: American Mathematical Soc.

DOWNLOAD EBOOK

This indispensable reference source contains a wealth of information on lattice theory. The book presents a survey of virtually everything published in the fiel
Abstract Algebra
Language: en
Pages: 0
Authors: Thomas Judson
Categories:
Type: BOOK - Published: 2023-08-11 - Publisher: Orthogonal Publishing L3c

DOWNLOAD EBOOK

Abstract Algebra: Theory and Applications is an open-source textbook that is designed to teach the principles and theory of abstract algebra to college juniors
Modern Algebra
Language: en
Pages: 354
Authors: John R. Durbin
Categories: Mathematics
Type: BOOK - Published: 2008-12-31 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Engineers and computer scientists who need a basic understanding of algebra will benefit from this accessible book. The sixth edition includes many carefully wo
Qualitative Spatio-Temporal Representation and Reasoning: Trends and Future Directions
Language: en
Pages: 460
Authors: Hazarika, Shyamanta M.
Categories: Computers
Type: BOOK - Published: 2012-05-31 - Publisher: IGI Global

DOWNLOAD EBOOK

Space and time are inextricably linked. Reasoning about space often involves reasoning about change in spatial configurations. Qualitative spatial information t