Bounded distributive lattices with strict implication

DOI10.1002/malq.200410022zbMath1067.03065OpenAlexW2060027303MaRDI QIDQ4680368

Ramon Jansana, Sergio Arturo Celani

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

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)

Related Items (29)

Kleene algebras with implication ⋮ Free Heyting Algebras: Revisited ⋮ Principal congruences in weak Heyting algebras ⋮ Frontal operators in distributive lattices with a generalized implication ⋮ Algebras with implication and fusion: a different point of view. ⋮ Monotone subintuitionistic logic: duality and transfer results ⋮ 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 ⋮ Residuated expansions of lattice-ordered structures ⋮ Implication via spacetime ⋮ Weakly intuitionistic quantum logic ⋮ The strong version of a sentential logic ⋮ Lewis meets Brouwer: constructive strict implication ⋮ The variety of modal weak Gödel algebras ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ On self‐distributive weak Heyting algebras ⋮ On the variety of strong subresiduated lattices ⋮ Sub-Hilbert lattices ⋮ On congruences in weak implicative semi-lattices ⋮ Distributive lattices with a generalized implication: topological duality ⋮ The intensional side of algebraic-topological representation theorems ⋮ Leibniz-linked pairs of deductive systems ⋮ Frontal operators in weak Heyting algebras ⋮ Dualities for subresiduated lattices ⋮ \(l\)-hemi-implicative semilattices ⋮ Latarres, lattices with an arrow ⋮ Easkia Duality and Its Extensions ⋮ Compatible operations on commutative weak residuated lattices ⋮ On relative principal congruences in term quasivarieties

Cites Work

• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Tools and techniques in modal logic
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bounded distributive lattices with strict implication