scientific article; zbMATH DE number 5241983
From MaRDI portal
Publication:5445172
Cited in
(20)- An algebraic study of tense operators on Nelson algebras
- Symmetrical Heyting algebras of order \(3\times 3\)
- Difference-restriction algebras of partial functions with operators: discrete duality and completion
- 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
- Discriminator varieties of double-Heyting algebras
- Frontal operators in weak Heyting algebras
- Duality via truth for some fuzzy modal logic
- Algebras and relational frames for Gödel modal logic and some of its extensions
- Positive modal Hilbert algebras and Fischer Servi modal Hilbert algebras
- Two-dimensional Kripke semantics i: presheaves
- A semantical analysis of some subintuitionistic modal logics
- A categorical analysis of compatibility frames
- T-rough symmetric Heyting algebras with tense operators
- Dualities in quasiorder-generated covering-based approximation spaces
- Compatible operations on residuated lattices
- An algebraic axiomatization of the Ewald's intuitionistic tense logic
- Algebras for Galois-style connections and their discrete duality
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5445172)
