Bounded distributive lattices with strict implication

DOI10.1002/MALQ.200410022zbMATH Open1067.03065OpenAlexW2060027303MaRDI QIDQ4680368FDOQ4680368

Sergio A. Celani, Ramon Jansana

Publication date: 1 June 2005

Published in: MLQ (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200410022

Recommendations

• n‐linear weakly Heyting algebras
• The variety of modal weak Gödel algebras
• scientific article; zbMATH DE number 1778908
• On congruences in weak implicative semi-lattices
• Weak Logics with Strict Implication

zbMATH Keywords

duality theoryHeyting algebrabasic algebrasubresiduated latticedistributive lattice with a binary operationSubintuitionistic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20)

Cites Work

• Title not available (Why is that?)
• Tools and techniques in modal logic
• Protoalgebraic logics
• Title not available (Why is that?)
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Title not available (Why is that?)

Cited In (39)

• On relative principal congruences in term quasivarieties
• Frontal operators in distributive lattices with a generalized implication
• Intuitionistic modal algebras
• Easkia Duality and Its Extensions
• Amalgamation property for the class of basic algebras and some of its natural subclasses
• Title not available (Why is that?)
• Principal congruences in weak Heyting algebras
• Residuated expansions of lattice-ordered structures
• On the implicative-infimum subreducts of weak Heyting algebras
• Dualities for subresiduated lattices
• On a class of subreducts of the variety of integral srl-monoids and related logics
• Bounded distributive lattices with two subordinations
• Frontal operators in weak Heyting algebras
• n‐linear weakly Heyting algebras
• Lewisian fixed points. I: Two incomparable constructions
• Monotone subintuitionistic logic: duality and transfer results
• Implication via spacetime
• Sub-Hilbert lattices
• On self‐distributive weak Heyting algebras
• Algebras with implication and fusion: a different point of view.
• \(l\)-hemi-implicative semilattices
• Latarres, lattices with an arrow
• Distributive lattices with a generalized implication: topological duality
• Subintuitionistic logics and their modal companions: a nested approach
• The strong version of a sentential logic
• Compatible operations on commutative weak residuated lattices
• Free Heyting Algebras: Revisited
• Leibniz-linked pairs of deductive systems
• Lewis meets Brouwer: constructive strict implication
• A study on some classes of distributive lattices with a generalized implication
• The intensional side of algebraic-topological representation theorems
• The variety of modal weak Gödel algebras
• Multipliers in weak Heyting algebras
• On the variety of strong subresiduated lattices
• On congruences in weak implicative semi-lattices
• Weakly intuitionistic quantum logic
• On principal congruences in distributive lattices with a commutative monoidal operation and an implication
• Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras
• Kleene algebras with implication

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)