Axioms for Lattices and Boolean Algebras
List Price: $77.00
Publisher: World Scientific Publishing Company, Incorporated
Binding: Trade Cloth
Size: 6.25" wide x 9.25" long x 0.75" tall
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.
|Semilattices and Lattices|
|Further Topics and Open Problems|
|Some Prover9 Proofs|
|Partially Ordered Sets and Betweenness|
|Complete Existential Theory and Related Concepts|
100% Money Back Guarantee: Wrong item? No problem! Our hassle-free
returns policy has you covered.
We'll also process your order within 1-2 business days. Learn more about our