On intermediate inquisitive and dependence logics: an algebraic study
DOI10.1016/j.apal.2022.103143OpenAlexW3152023035MaRDI QIDQ2172827
Publication date: 16 September 2022
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2104.00981
algebraic semanticsduality theoryintuitionistic logicdependence logicinquisitive logicteam semantics
Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05) Intermediate logics (03B55)
Related Items (2)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Propositional logics of dependence
- Algebraic foundations for the semantic treatment of inquisitive content
- Propositional team logics
- Inquisitive logic
- Priestley style duality for distributive meet-semilattices
- From IF to BI. A tale of dependence and separation
- Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
- Esakia style duality for implicative semilattices
- Inquisitive Heyting algebras
- Questions and dependency in intuitionistic logic
- Undefinability in inquisitive logic with tensor
- Algebraic and topological semantics for inquisitive logic via choice-free duality
- Algebras of Information States
- Lattice Theory: Foundation
- Duality and Universal Models for the Meet-Implication Fragment of IPC
- Independence-friendly cylindric set algebras
- Brouwerian Semilattices
- Compositional semantics for a language of imperfect information
- Inquisitive Semantics
- Dependency as Question Entailment
This page was built for publication: On intermediate inquisitive and dependence logics: an algebraic study
