Bounded distributive lattices with strict implication
From MaRDI portal
Publication:4680368
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
duality theory; Heyting algebra; basic algebra; subresiduated lattice; distributive lattice with a binary operation; Subintuitionistic logic
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