Pages that link to "Item:Q4680368"
From MaRDI portal
The following pages link to Bounded distributive lattices with strict implication (Q4680368):
Displaying 38 items.
- Weakly intuitionistic quantum logic (Q383556) (← links)
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- Distributive lattices with a generalized implication: topological duality (Q634749) (← links)
- Leibniz-linked pairs of deductive systems (Q647411) (← links)
- Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras (Q861580) (← links)
- Amalgamation property for the class of basic algebras and some of its natural subclasses (Q862346) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- On congruences in weak implicative semi-lattices (Q1701818) (← links)
- \(l\)-hemi-implicative semilattices (Q1790597) (← links)
- Latarres, lattices with an arrow (Q1790604) (← links)
- On relative principal congruences in term quasivarieties (Q2106878) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Dualities for subresiduated lattices (Q2240721) (← links)
- Compatible operations on commutative weak residuated lattices (Q2343034) (← links)
- Kleene algebras with implication (Q2362883) (← links)
- Algebras with implication and fusion: a different point of view. (Q2377311) (← links)
- On principal congruences in distributive lattices with a commutative monoidal operation and an implication (Q2422313) (← links)
- Principal congruences in weak Heyting algebras (Q2630276) (← links)
- Residuated expansions of lattice-ordered structures (Q2658277) (← links)
- Implication via spacetime (Q2658280) (← links)
- Bounded distributive lattices with two subordinations (Q2658281) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Free Heyting Algebras: Revisited (Q2888491) (← links)
- Frontal operators in distributive lattices with a generalized implication (Q3452702) (← links)
- (Q4313857) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- The variety of modal weak Gödel algebras (Q6083149) (← links)
- On self‐distributive weak Heyting algebras (Q6096729) (← links)
- On the variety of strong subresiduated lattices (Q6096730) (← links)
- Sub-Hilbert lattices (Q6161951) (← links)
- Intuitionistic modal algebras (Q6562368) (← links)
- On the implicative-infimum subreducts of weak Heyting algebras (Q6589159) (← links)
- On a class of subreducts of the variety of integral srl-monoids and related logics (Q6597132) (← links)
- Lewisian fixed points. I: Two incomparable constructions (Q6612808) (← links)
- Subintuitionistic logics and their modal companions: a nested approach (Q6650729) (← links)
- A study on some classes of distributive lattices with a generalized implication (Q6663920) (← links)
- Multipliers in weak Heyting algebras (Q6671057) (← links)
