AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS

DOI10.1017/S175502032100054XOpenAlexW4200046192MaRDI QIDQ5046603

Gianluca Grilletti, Davide Emilio Quadrellaro, Nick Bezhanishvili

Publication date: 8 November 2022

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s175502032100054x

zbMATH Keywords

Heyting algebrasalgebraic semanticsintermediate logicsinquisitive logicnegative variants

Mathematics Subject Classification ID

Lattices of varieties (08B15) Other nonclassical logic (03B60) Heyting algebras (lattice-theoretic aspects) (06D20) Intermediate logics (03B55)

Related Items (1)

Esakia duals of regular Heyting algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Propositional logics of dependence
• Weak negation in inquisitive semantics
• A generalization of inquisitive semantics
• Algebraic foundations for the semantic treatment of inquisitive content
• Some results on intermediate constructive logics
• Inquisitive logic
• An algebraic approach to canonical formulas: modal case
• From IF to BI. A tale of dependence and separation
• Residuated lattices. An algebraic glimpse at substructural logics
• On maximal intermediate logics with the disjunction property
• Algebraic and topological semantics for inquisitive logic via choice-free duality
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculus
• An ascending chain of S4 logics
• Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
• Dependency as Question Entailment
• SUBSTRUCTURAL INQUISITIVE LOGICS
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"

This page was built for publication: AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS