Publication:5445172
From MaRDI portal
zbMath1142.06002MaRDI QIDQ5445172
Ewa S. Orłowska, Ingrid Rewitzky
Publication date: 3 March 2008
Related Items
Frontal operators in weak Heyting algebras, Compatible operations on residuated lattices, An algebraic axiomatization of the Ewald's intuitionistic tense logic, Algebras for Galois-style connections and their discrete duality, An algebraic study of tense operators on Nelson algebras, Symmetrical Heyting algebras of order \(3\times 3\), Hilbert algebras with a modal operator \(\diamondsuit\), Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets., Duality results for (co)residuated lattices, Intuitionistic propositional logic with Galois negations