Relative pseudo-complements, join-extensions, and meet-retractions

DOI10.1007/BF01214357zbMath0351.06010MaRDI QIDQ1235197

Constantine Tsinakis, Jürgen Schmidt

Publication date: 1977

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/172611

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Complemented lattices, orthocomplemented lattices and posets (06C15) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05)

Related Items (7)

ON AN ALGEBRAIZATION OF MEASURE THEORY. ABSTRACT SEMIRINGS ⋮ Unnamed Item ⋮ Groupable lattices ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Residuated frames with applications to decidability ⋮ Join-completions of partially ordered algebras ⋮ Generalized MV-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge
• Relative annihilators in lattices
• Stone lattices
• Stonesche Verbände der Ordnung \(n\) und Postalgebren
• Pseudo-complements in semi-lattices
• On closed elements in closure algebras
• Hüllensysteme und Erweiterung von Quasi‐Ordnungen
• Each join-completion of a partially ordered set in the solution of a universal problem
• Dense extensions of a partially ordered set.
• Darstellungen und Erweiterungen geordneter Mengen. I.
• Pseudo-Complements in Posets
• Universal and internal properties of some extensions of partially orderd sets.
• Relative annihilators in semilattices
• Meet-Irreducible Elements in Implicative Lattices
• Universal and internal properties of some completions of k-join-semilattices and k-join-distributive partially ordered sets.
• The Theory of Representation for Boolean Algebras
• Algebraic Treatment of the Functional Calculi of Heyting and Lewis

This page was built for publication: Relative pseudo-complements, join-extensions, and meet-retractions