The Theory of Representation for Boolean Algebras
From MaRDI portal
Publication:5763114
DOI10.2307/1989664zbMath0014.34002OpenAlexW2048610309MaRDI QIDQ5763114
Publication date: 1936
Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1989664
Related Items (only showing first 100 items - show all)
Current trends in substructural logics ⋮ Existence of nonatomic core-Walras allocations ⋮ Concentration of measure, classification of submeasures, and dynamics of \(L_0\) ⋮ Grätzer-Hofmann-Lawson-Jung-Sünderhauf duality ⋮ On the axiomatisability of the dual of compact ordered spaces ⋮ A direct definition of distributive extensions of partially ordered algebras ⋮ Sobriety and spatiality in varieties of algebras ⋮ Fuzzy \(\sigma\)-fields and fuzzy measures ⋮ Towards automating duality ⋮ Sums and products of interval algebras ⋮ Crypt-equivalent algebraic specifications ⋮ An algebraic synthesis of the foundations of logic and probability ⋮ Representation of Łukasiewicz' many-valued algebras ⋮ An introduction to lattice based probability theories ⋮ Stone duality and representation of stable domain ⋮ Prime ideals in 0-distributive posets ⋮ A universal coefficient theorem for Gauss's lemma ⋮ Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing ⋮ Coalgebraic representations of distributive lattices with operators ⋮ Atom structures of cylindric algebras and relation algebras ⋮ Flat unars: the primal, the semi-primal and the dualisable ⋮ On the prime whales of a Boolean algebra ⋮ Funayama's theorem revisited ⋮ Finitely generated free modular ortholattices. I ⋮ Generalized topological representation for complete join-semilattices ⋮ Representable \((\mathbb{T},\mathbf{V})\)-categories ⋮ Stone-like representation theorems and three-valued filters in \(R_{0}\)- algebras (nilpotent minimum algebras) ⋮ The universal theory of first order algebras and various reducts ⋮ First-order limits, an analytical perspective ⋮ Note on associative Newman algebras ⋮ A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. II ⋮ Fine hierarchies via Priestley duality ⋮ Normal forms and truth tables for fuzzy logics ⋮ Generalized Priestley quasi-orders ⋮ Modal logics of Stone spaces ⋮ The dual adjunction between MV-algebras and Tychonoff spaces ⋮ Foreword to the special issue dedicated to the memory of Leo Esakia ⋮ Priestley rings and Priestley order-compactifications ⋮ General Stone duality. ⋮ Distributive envelopes and topological duality for lattices via canonical extensions. ⋮ Prime filters and ideals in distributive lattices ⋮ Domain theory in logical form ⋮ Computing on binary strings ⋮ On the relationship between compact regularity and Gentzen's cut rule ⋮ Heyting mereology as a framework for spatial reasoning ⋮ Dualizing clones into categories of topological spaces. ⋮ Bigeneration in complete lattices and principal separation in ordered sets ⋮ A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). ⋮ Duality for the logic of quantum actions ⋮ Duality beyond sober spaces: Topological spaces and observation frames ⋮ Dynamic algebras: Examples, constructions, applications ⋮ A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices ⋮ Regular languages and Stone duality ⋮ Semiprime ideals and separation theorems for posets ⋮ Theory of topological molecular lattices ⋮ Representation of fuzzy Boolean algebras ⋮ Boolean lattices of function algebras on rectangular semigroups ⋮ Adas and the equational theory of if-then-else ⋮ Subsumption computed algebraically ⋮ Stone duality and Gleason covers through de Vries duality ⋮ The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics ⋮ Self-injective regular algebras and function rings ⋮ An approach to fuzzy frames via fuzzy posets ⋮ On representation of finite pseudo-Boolean algebras and one of its applications ⋮ Sobriety and spatiality in categories of lattice-valued algebras ⋮ Generalized fuzzy topology versus non-commutative topology ⋮ Loomis-Sikorski theorem and Stone duality for effect algebras with internal state ⋮ An essay in the formal theory of extension and of intension ⋮ Endomorphism semigroups of finite subset algebras ⋮ Priestley duality for paraconsistent Nelson's logic ⋮ An algebraic approach to rule based expert systems ⋮ Relative pseudo-complements, join-extensions, and meet-retractions ⋮ A duality for Boolean algebras with operators ⋮ A spectral-style duality for distributive posets ⋮ Tight representations of semilattices and inverse semigroups. ⋮ Zero-dimensional proximities and zero-dimensional compactifications ⋮ New work for Carnap's quasi-analysis ⋮ From environments to representations -- a mathematical theory of artificial perceptions ⋮ The algebraic treatment of the methodology of elementary deductive systems ⋮ Ideals and their structure in classes of operational algebras ⋮ On extension of a given finitely additive field-valued, non negative measure, on a finitely additive Boolean tribe, to another tribe more ample ⋮ On the topological representation of non-associative rings ⋮ A generalization of Boolean rings ⋮ Critical remarks on some basic notions in Boolean lattices. II ⋮ Compact rings and Stone-Čech compactifications ⋮ Functional completeness in the small. Algebraic structure theorems and identities ⋮ Unifying threads in Alfred Tarski's work ⋮ On the independence of primal algebras ⋮ The automorphism group of certain function rings ⋮ Topological representations of distributive hypercontinuous lattices ⋮ Stonian p-ortholattices: a new approach to the mereotopology \(RT_{0}\) ⋮ Outer measures and outer topologies ⋮ Equational definability of addition in certain noncommutative rings ⋮ Representation of Łukasiewicz' many-valued algebras. The atomic case ⋮ Boolean-linear spaces ⋮ Relation algebras: Concept of points and representability ⋮ Multi-valued logic and Gröbner bases with applications to modal logic ⋮ Point-set lattice-theoretic topology ⋮ Tensor products of orthoalgebras ⋮ Toward a more natural expression of quantum logic with Boolean fractions
This page was built for publication: The Theory of Representation for Boolean Algebras
