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