Bounded distributive lattices with strict implication
From MaRDI portal
Recommendations
Cites work
- Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
- scientific article; zbMATH DE number 1302498 (Why is no real title available?)
- scientific article; zbMATH DE number 1140580 (Why is no real title available?)
- scientific article; zbMATH DE number 194916 (Why is no real title available?)
- Protoalgebraic logics
- Tools and techniques in modal logic
Cited in
(53)- The strong version of a sentential logic
- Lewis meets Brouwer: constructive strict implication
- On congruences in weak implicative semi-lattices
- \(l\)-hemi-implicative semilattices
- Latarres, lattices with an arrow
- On relative principal congruences in term quasivarieties
- Monotone subintuitionistic logic: duality and transfer results
- Dualities for subresiduated lattices
- Compatible operations on commutative weak residuated lattices
- Kleene algebras with implication
- Algebras with implication and fusion: a different point of view.
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication
- Principal congruences in weak Heyting algebras
- Residuated expansions of lattice-ordered structures
- Implication via spacetime
- Bounded distributive lattices with two subordinations
- The intensional side of algebraic-topological representation theorems
- Free Heyting algebras: revisited
- Frontal operators in distributive lattices with a generalized implication.
- Weakly intuitionistic quantum logic
- scientific article; zbMATH DE number 697070 (Why is no real title available?)
- Frontal operators in weak Heyting algebras
- Counting weak Heyting algebras on finite distributive lattices
- Esakia duality and its extensions
- n‐linear weakly Heyting algebras
- The variety of modal weak Gödel algebras
- On self‐distributive weak Heyting algebras
- On the variety of strong subresiduated lattices
- Sub-Hilbert lattices
- Distributive lattices with a generalized implication: topological duality
- Leibniz-linked pairs of deductive systems
- Intuitionistic modal algebras
- On the implicative-infimum subreducts of weak Heyting algebras
- On a class of subreducts of the variety of integral srl-monoids and related logics
- Lewisian fixed points. I: Two incomparable constructions
- Subintuitionistic logics and their modal companions: a nested approach
- A study on some classes of distributive lattices with a generalized implication
- Multipliers in weak Heyting algebras
- A semantical analysis of some subintuitionistic modal logics
- On the quasivariety of sub-Hilbert algebras
- Assertional logics and the frege hierarchy
- Algebraic semantics for weak subintuitionistic logic WF
- D-complete single axioms for the equivalential calculus with the rules d and r
- Open filters and congruence relations on self-distributive weak Heyting algebras
- Subresiduated Nelson algebras
- On weak Lewis distributive lattices
- On a generalization of Heyting algebras. I
- Subresiduated lattice ordered commutative monoids
- Bounded distributive lattices with strict implication and weak difference
- An exploration of weak Heyting algebras: characterization and properties
- On commutative weak Heyting algebras and some of its subreducts
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
- Amalgamation property for the class of basic algebras and some of its natural subclasses
This page was built for publication: Bounded distributive lattices with strict implication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4680368)
