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

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