Algebraic and topological semantics for inquisitive logic via choice-free duality

DOI10.1007/978-3-662-59533-6_3MaRDI QIDQ2303579zbMATH OpenOpenAlexFDO

Authors Nick Bezhanishvili, Gianluca Grilletti, Wesley H. Holliday

Publication date 4 March 2020

Full work available at URL https://escholarship.org/uc/item/69f4t1wg

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Inquisitive Heyting algebras
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• Relational semantics for normal topological quasi-Boolean logic
• On intermediate inquisitive and dependence logics: an algebraic study
• Di-algebraic semantics of logics

Cited in

(9)

• Inquisitive Heyting algebras
• On intermediate inquisitive and dependence logics: an algebraic study
• AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS
• Structural completeness and superintuitionistic inquisitive logics
• Choice-free topological duality for implicative lattices and Heyting algebras
• Esakia duals of regular Heyting algebras
• Lattices of Intermediate Theories via Ruitenburg's Theorem
• Information types in intuitionistic predicate logic with constant domains
• Inquisitive split and structural completeness

This page was built for publication: Algebraic and topological semantics for inquisitive logic via choice-free duality

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