Among these are state minimizations, Boolean algebra, and switching algebra. In minimization, three approaches are normally used that are based on equivalence relations. Partial order relations are used today in constructions of Boolean algebra. In this paper we survey this important algebra from its...
M Jackson,T Stokes - 《Communications in Algebra》 被引量: 28发表: 2004年 Undecidable Varieties of Semilattice—ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus We prove that the equational theory of a semigroups becomes undecidable if we add a semilat...
Boolean algebra. The theorem on degrees of interpretability relies on an adaptation of techniques leading to Nies' theorem. 关键词: Lattice of Σ n sentences Diagonalizable algebra Interpretability degrees Arithmetic Effectively inseparable Boolean algebra Ideal definability DOI: 10.1007/s00153-009-0161...
Semimodular Lattices: Theory and Applications The origins of lattice theory go back to G. BOOLE [1847]. In honor of his achievements the term "boolean algebra" was coined. Boolean algebras are complemented distributive lattices; they form the best known class of lattices. There are ... M ...
generalizations of distributive and modular lattices to outline the development of semimodular lattices from Boolean algebras. He focuses on the important theory of semimodularity, its many ramifications, and its applications in discrete mathematics, combinatorics, and algebra. The book surveys and a.....
Axioms for Lattices and Boolean Algebras Modular Lattices; Distributive Lattices; Boolean Algebras; Orthomodular Lattices; Huntington Varieties; Equational Logic; Self-Dual Equational Bases; Automated Rea... R Padmanabhan,S Rudeanu - WORLD SCIENTIFIC 被引量: 55发表: 2008年 加载更多来源...
9 Booleanlattices,BooleanalgebrasandStone’stheorem9.1 BooleanalgebrasandthealgebraofsetsIn mathematics and mathematical logic,Boolean algebrais a branch of algebra inwhichthevaluesofelementsandvariablesarethetruthvaluestrueandfalse,usuallydenoted1and0,respectively.ThemainoperationsofBooleanalgebraaretheconjunc-tio...
Generalization of Blocks for D-Lattices and Lattice-Ordered Effect Algebras We show that every D -lattice (lattice-ordered effect algebra) P is a set-theoreticunion of maximal subsets of mutually compatible elements, called blocks... Zdenka Rieanová - 《International Journal of Theoretical Physics...
A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin, M. Walter mathematics markov-chains integer-programming commutative-algebra lattices algebraic-statistics Updated Mar 7, 2024 C++ JuliaPhysics / Lattice...
Wehrung, Representations of distributive semilattices in ideal lattices of various algebraic structures, Algebra Universalis 45, no... KR Goodearl,F Wehrung - 《Algebra Universalis》 被引量: 79发表: 2001年 Confidence relations and ordinal information We define confidence relations on Boolean lattices,...