Intuitionistic propositional logic with Galois negations
From MaRDI portal
Publication:2699013
DOI10.1007/s11225-022-10014-5OpenAlexW4297224635MaRDI QIDQ2699013
Publication date: 26 April 2023
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-022-10014-5
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations
- Negation in the context of gaggle theory
- Polarity semantics for negation as a modal operator
- Residuated lattices. An algebraic glimpse at substructural logics
- An algebraic axiomatization of the Ewald's intuitionistic tense logic
- Algebras for Galois-style connections and their discrete duality
- Galois structures
- Independent propositional modal logics
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- Lattices and ordered algebraic structures
- Countably many weakenings of Belnap-Dunn logic
- Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets.
- Logics from Galois connections
- On closed elements in closure algebras
- Intuitionistic propositional logic with Galois connections
- Discrete duality for lattices with modal operators
- On Split Negation, Strong Negation, Information, Falsification, and Verification
- Intuitionistic tense and modal logic
- Characterizing intermediate tense logics in terms of Galois connections
- Tense De Morgan S4-algebras
- Some theorems about the sentential calculi of Lewis and Heyting
- Galois Connexions
- Closure Operators and Galois Theory in Lattices