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

DOI10.1007/978-3-662-59533-6_3OpenAlexW2948841030MaRDI QIDQ2303579

Wesley H. Holliday, Nick Bezhanishvili, Gianluca Grilletti

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)

Related Items (7)

AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS ⋮ On intermediate inquisitive and dependence logics: an algebraic study ⋮ 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 ⋮ Inquisitive Heyting algebras

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