Implicative Semi-Lattices
From MaRDI portal
Publication:5336342
DOI10.2307/1994200zbMath0128.24804OpenAlexW4253556292MaRDI QIDQ5336342
Publication date: 1965
Full work available at URL: https://doi.org/10.2307/1994200
Related Items
Adjoint maps between implicative semilattices and continuity of localic maps ⋮ On the free implicative semilattice extension of a Hilbert algebra ⋮ On ordered filters of implicative semigroups ⋮ Nuclear ranges in implicative semilattices ⋮ On the triple construction of distributive p-algebras ⋮ An algebraic approach to subframe logics. Intuitionistic case ⋮ Algebras with Boolean and Stonean congruence lattices ⋮ Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL ⋮ Non-usual orthocomplementations on partially ordered sets and fuzziness ⋮ On Griss algebra, I ⋮ Selfextensional logics with a conjunction ⋮ Algebraic aspects of relatively pseudocomplemented posets ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ A Representation Theory for Prime and Implicative Semilattices ⋮ Unnamed Item ⋮ A frame-theoretic perspective on Esakia duality ⋮ Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras ⋮ Varieties with equationally definable principal congruences ⋮ On effective descent \(\mathcal{V}\)-functors and familial descent morphisms ⋮ Relatively pseudocomplemented semilattices amalgamate strongly ⋮ Esakia style duality for implicative semilattices ⋮ External characterizations of subdirect representations of algebras ⋮ Uni-soft structure applied to ordered semigroups ⋮ On congruences in weak implicative semi-lattices ⋮ Generalized Priestley quasi-orders ⋮ Semi-Brouwerian algebras ⋮ Relative annihilators in semilattices ⋮ Hilbert algebras with Hilbert-Galois connections ⋮ Representation of Hilbert algebras and implicative semilattices ⋮ Unnamed Item ⋮ On a new construction of pseudocomplemented semilattices ⋮ Anticommutativity and the triangular lemma ⋮ Homomorphisms of implicative semigroups ⋮ Meet-Irreducible Elements in Implicative Lattices ⋮ Characterization of certain classes of pseudo complemented semi-lattices ⋮ Post-like algebras and injective Stone algebras ⋮ Implicative Homomorphisms with Finite Ranges ⋮ Modular SM-semilattices ⋮ A triple construction for SM-semilattices ⋮ Density and closure in implicative semi-lattices ⋮ Relatively free implicative semi-lattices ⋮ Lattice of closure endomorphisms of a Hilbert algebra ⋮ Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets ⋮ On admissible semilattices ⋮ On fuzzy ordered semigroups. ⋮ \(l\)-hemi-implicative semilattices ⋮ Unnamed Item ⋮ Endomorphism semigroups of Brouwerian semilattices ⋮ Prelinear Hilbert algebras ⋮ Importation lattices ⋮ Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties ⋮ Subdirectly irreducible sectionally pseudocomplemented semilattices ⋮ EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES ⋮ Characterization of the bounded Brouwerian lattices ⋮ A note on Hilbert algebras and their related generalized Esakia spaces ⋮ Free pseudocomplemented semilattices: a new approach. ⋮ Quasi-decompositions and quasidirect products of Hilbert algebras ⋮ Unnamed Item ⋮ Irreducibility in implicative semilattices ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE ⋮ On the structure of varieties with equationally definable principal congruences. II ⋮ Majority categories ⋮ Variations of the free implicative semilattice extension of a Hilbert algebra ⋮ Stonesche Verbände der Ordnung \(n\) und Postalgebren ⋮ Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras ⋮ Semi-Heyting Algebras and Identities of Associative Type ⋮ On the free frontal implicative semilattice extension of a frontal Hilbert algebra ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic ⋮ \(L\)-algebras in logic, algebra, geometry, and topology ⋮ On the structure of varieties with equationally definable principal congruences. I ⋮ Constructions of p-algebras ⋮ Easkia Duality and Its Extensions ⋮ Perfect semilattices ⋮ Products of finitely based varieties of Brouwerian semilattices ⋮ Ideals and filters of pseudo-complemented semilattices ⋮ On filters of implicative semilattices ⋮ On relative principal congruences in term quasivarieties ⋮ On constructions of p-algebras ⋮ Sur les demi-groupes de Brouwer et Glivenko
Cites Work
