Inquisitive Heyting algebras

DOI10.1007/s11225-020-09936-9zbMath1489.03027OpenAlexW3131212009MaRDI QIDQ2062213

Vít Punčochář

Publication date: 27 December 2021

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-020-09936-9

zbMATH Keywords

Heyting algebrasalgebraic semanticsantichainsintuitionistic logicinquisitive logicsuperintuitionistic logicslogic of questions

Mathematics Subject Classification ID

Logic of natural languages (03B65) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

On intermediate inquisitive and dependence logics: an algebraic study ⋮ Structural completeness and superintuitionistic inquisitive logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A generalization of inquisitive semantics
• Structural completeness in propositional logics of dependence
• Algebraic foundations for the semantic treatment of inquisitive content
• Some results on intermediate constructive logics
• Inquisitive logic
• On two problems of Harvey Friedman
• Propositional inquisitive logic: a survey
• Questions and dependency in intuitionistic logic
• Algebraic and topological semantics for inquisitive logic via choice-free duality
• A Multi-type Calculus for Inquisitive Logic
• Lattice Theory: Foundation
• Inquisitive Semantics
• SUBSTRUCTURAL INQUISITIVE LOGICS

This page was built for publication: Inquisitive Heyting algebras