Lattices of Intermediate Theories via Ruitenburg's Theorem

DOI10.1007/978-3-030-98479-3_15zbMath1530.03110arXiv2004.00989OpenAlexW3014843430MaRDI QIDQ6337923

Gianluca Grilletti, Davide Emilio Quadrellaro

Publication date: 2 April 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-98479-3_15

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structural completeness in propositional logics of dependence
• Some results on intermediate constructive logics
• Inquisitive logic
• Semantical investigations in Heyting's intuitionistic logic
• Propositional inquisitive logic: a survey
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• A semantic hierarchy for intuitionistic logic
• Algebraic and topological semantics for inquisitive logic via choice-free duality
• A remark on functionally free algebras
• Algebraic Foundations for Inquisitive Semantics
• On the period of sequences (Aⁿ(p)) in intuitionistic propositional calculus
• On formulas of one variable in intuitionistic propositional calculus
• Inquisitive Semantics
• Ruitenburg's Theorem via Duality and Bounded Bisimulations

This page was built for publication: Lattices of Intermediate Theories via Ruitenburg's Theorem