On intermediate inquisitive and dependence logics: an algebraic study

DOI10.1016/J.APAL.2022.103143MaRDI QIDQ2172827zbMATH OpenOpenAlexFDO

Authors Davide Emilio Quadrellaro

Publication date 16 September 2022

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2104.00981

zbMATH Keywords

algebraic semanticsdependence logicduality theoryinquisitive logicintuitionistic logicteam semantics

Mathematics Subject Classification ID

Intermediate logics (03B55) Other nonclassical logic (03B60) Equational classes, universal algebra in model theory (03C05) Logical aspects of lattices and related structures (03G10) Heyting algebras (lattice-theoretic aspects) (06D20) Equational logic, Mal'tsev conditions (08B05)

Recommendations

• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• Modal dependence logics: axiomatizations and model-theoretic properties
• Propositional logics of dependence
• Algebraic and topological semantics for inquisitive logic via choice-free duality
• scientific article; zbMATH DE number 3837996

Cites work

• Abstract algebraic logic. An introductory textbook
• Algebraic and topological semantics for inquisitive logic via choice-free duality
• Algebraic foundations for the semantic treatment of inquisitive content
• Algebras of information states
• Brouwerian Semilattices
• Compositional semantics for a language of imperfect information
• Dependence logic. A new approach to independence friendly logic
• Dependency as question entailment
• Duality and universal models for the meet-implication fragment of IPC
• Esakia style duality for implicative semilattices
• From IF to BI. A tale of dependence and separation
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3482306 (Why is no real title available?)
• scientific article; zbMATH DE number 194916 (Why is no real title available?)
• scientific article; zbMATH DE number 3231882 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Independence-friendly cylindric set algebras
• Inquisitive Heyting algebras
• Inquisitive logic
• Inquisitive semantics
• Lattice Theory: Foundation
• Priestley style duality for distributive meet-semilattices
• Propositional logics of dependence
• Propositional team logics
• Questions and dependency in intuitionistic logic
• Undefinability in inquisitive logic with tensor

Cited in

(11)

• Algebraic and topological semantics for inquisitive logic via choice-free duality
• Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• Structural completeness and superintuitionistic inquisitive logics
• Esakia duals of regular Heyting algebras
• On Intermediate Inquisitive and Dependence Logics: An Algebraic Study
• Intermediate logics in the setting of team semantics
• Information types in intuitionistic predicate logic with constant domains
• Inquisitive split and structural completeness
• De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
• An algebraic study of Peterson's intermediate syllogisms

This page was built for publication: On intermediate inquisitive and dependence logics: an algebraic study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2172827)