Implicative Semi-Lattices
From MaRDI portal
Publication:5336342
Cites work
- scientific article; zbMATH DE number 3120840 (Why is no real title available?)
- scientific article; zbMATH DE number 3050845 (Why is no real title available?)
- Logic as Mathematical Science
- On closed elements in closure algebras
- Pseudo-complements in semi-lattices
- Topological representations of distributive lattices and Brouwerian logics
Cited in
(80)- \(L\)-algebras in logic, algebra, geometry, and topology
- Perfect semilattices
- scientific article; zbMATH DE number 1513339 (Why is no real title available?)
- A frame-theoretic perspective on Esakia duality
- Stonesche Verbände der Ordnung \(n\) und Postalgebren
- Variations of the free implicative semilattice extension of a Hilbert algebra
- Ideals and filters of pseudo-complemented semilattices
- A triple construction for SM-semilattices
- Relatively free implicative semi-lattices
- Relative annihilators in semilattices
- Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets
- On constructions of p-algebras
- Post-like algebras and injective Stone algebras
- An algebraic approach to subframe logics. Intuitionistic case
- Prelinear Hilbert algebras
- 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 the free implicative semilattice extension of a Hilbert algebra
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras
- Majority categories
- A Representation Theory for Prime and Implicative Semilattices
- Irreducibility in implicative semilattices
- On ordered filters of implicative semigroups
- Quasi-decompositions and quasidirect products of Hilbert algebras
- Algebraic aspects of relatively pseudocomplemented posets
- Representation of Hilbert algebras and implicative semilattices
- Free pseudocomplemented semilattices: a new approach.
- Selfextensional logics with a conjunction
- On filters of implicative semilattices
- Varieties with equationally definable principal congruences
- Density and closure in implicative semi-lattices
- Characterization of the bounded Brouwerian lattices
- On the structure of varieties with equationally definable principal congruences. I
- Esakia style duality for implicative semilattices
- Endomorphism semigroups of Brouwerian semilattices
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
- On fuzzy ordered semigroups.
- Modular SM-semilattices
- Importation lattices
- Implicative Homomorphisms with Finite Ranges
- Non-usual orthocomplementations on partially ordered sets and fuzziness
- Relatively pseudocomplemented semilattices amalgamate strongly
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- Esakia duality and its extensions
- Characterization of certain classes of pseudo complemented semi-lattices
- Products of finitely based varieties of Brouwerian semilattices
- Semi-Heyting algebras and identities of associative type
- \(l\)-hemi-implicative semilattices
- Uni-soft structure applied to ordered semigroups
- Constructions of p-algebras
- On admissible semilattices
- On the triple construction of distributive p-algebras
- On the structure of varieties with equationally definable principal congruences. II
- Algebras with Boolean and Stonean congruence lattices
- Meet-Irreducible Elements in Implicative Lattices
- Generalized Priestley quasi-orders
- On congruences in weak implicative semi-lattices
- Lattice of closure endomorphisms of a Hilbert algebra
- Homomorphisms of implicative semigroups
- Anticommutativity and the triangular lemma
- On the implicative-infimum subreducts of weak Heyting algebras
- On Griss algebra, I
- Subdirectly irreducible sectionally pseudocomplemented semilattices
- Sur les demi-groupes de Brouwer et Glivenko
- Adjoint maps between implicative semilattices and continuity of localic maps
- A note on Hilbert algebras and their related generalized Esakia spaces
- Strongly extensional homomorphism of implicative semigroups with apartness
- On effective descent \(\mathcal{V}\)-functors and familial descent morphisms
- Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL
- Modal Hilbert algebras and their triple representation
- On a new construction of pseudocomplemented semilattices
- Hilbert algebras with Hilbert-Galois connections
- Nuclear ranges in implicative semilattices
- scientific article; zbMATH DE number 7577565 (Why is no real title available?)
- On relative principal congruences in term quasivarieties
- Existentially closed Brouwerian semilattices
- Semi-Brouwerian algebras
- Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras
- External characterizations of subdirect representations of 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)
