Bounded distributive lattices with strict implication

DOI10.1002/malq.200410022zbMath1067.03065MaRDI 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 theory; Heyting algebra; basic algebra; subresiduated lattice; distributive lattice with a binary operation; Subintuitionistic logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G10: Logical aspects of lattices and related structures

06D20: Heyting algebras (lattice-theoretic aspects)

Related Items

Easkia Duality and Its Extensions, The variety of modal weak Gödel algebras, On self‐distributive weak Heyting algebras, On the variety of strong subresiduated lattices, Sub-Hilbert lattices, Weakly intuitionistic quantum logic, Frontal operators in weak Heyting algebras, Distributive lattices with a generalized implication: topological duality, Leibniz-linked pairs of deductive systems, 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, 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, The intensional side of algebraic-topological representation theorems, Free Heyting Algebras: Revisited, Frontal operators in distributive lattices with a generalized implication

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