Inquisitive split and structural completeness

DOI10.1017/S0960129525000118MaRDI QIDQ6968391zbMATH OpenFDO

Authors Thomas Macaulay Ferguson, Vít Punčochář

Publication date 24 June 2025

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

inquisitive logicKripke semanticsstructural completenesssubstitutionsuperintuitionistic logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites work

• A generalization of inquisitive semantics
• A Multi-type Calculus for Inquisitive Logic
• A propositional calculus with denumerable matrix
• Action models in inquisitive logic
• Algebraic and topological semantics for inquisitive logic via choice-free duality
• Algebraic foundations for the semantic treatment of inquisitive content
• Algebras of information states
• Consequence relations and admissible rules
• Goldblatt-Thomason-style characterization for intuitionistic inquisitive logic
• Hereditarily structurally complete superintuitionistic deductive systems
• scientific article; zbMATH DE number 4218075 (Why is no real title available?)
• scientific article; zbMATH DE number 4139716 (Why is no real title available?)
• scientific article; zbMATH DE number 3639589 (Why is no real title available?)
• scientific article; zbMATH DE number 2108198 (Why is no real title available?)
• scientific article; zbMATH DE number 7585721 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3339356 (Why is no real title available?)
• scientific article; zbMATH DE number 7668110 (Why is no real title available?)
• Informative presupposition in inquisitive logic
• Inquisitive dynamic epistemic logic
• Inquisitive Heyting algebras
• Inquisitive logic
• Inquisitive propositional dynamic logic
• Inquisitive semantics
• On intermediate inquisitive and dependence logics: an algebraic study
• On the structural completeness of some pure implicational propositional calculi
• Proof-theoretic semantics and inquisitive logic
• Questions and dependency in intuitionistic logic
• QUESTIONS IN TWO-DIMENSIONAL LOGIC
• Some results on intermediate constructive logics
• Structural completeness and superintuitionistic inquisitive logics
• Structural completeness in fuzzy logics
• Structural completeness in propositional logics of dependence
• Structural Completeness in Substructural Logics
• SUBSTRUCTURAL INQUISITIVE LOGICS
• Zum intuitionistischen Aussagekalkül.

Cited in

(1)

• Suprastructural logics

This page was built for publication: Inquisitive split and structural completeness

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