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