Sound and Complete Tree-Sequent Calculus for Inquisitive Logic

DOI10.1007/978-3-642-02261-6_29MaRDI QIDQ3638296zbMATH OpenOpenAlexFDO

Authors Katsuhiko Sano

Publication date 2 July 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-02261-6_29

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Labelled sequent calculus for inquisitive logic
• First-order inquisitive pair logic
• A Multi-type Calculus for Inquisitive Logic
• Inquisitive logic
• Propositional inquisitive logic: a survey

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 932649 (Why is no real title available?)
• A Tree-Sequent Calculus for a Natural Predicate Extension of Visser's Propositional Logic
• Kripke Completeness of First-Order Constructive Logics with Strong Negation
• Pure extensions, proof rules, and hybrid axiomatics
• Sequent Calculi for Some Strict Implication Logics

Cited in

(8)

• A Multi-type Calculus for Inquisitive Logic
• Questions as information types
• Inquisitive logic
• Labelled sequent calculus for inquisitive logic
• First-order inquisitive pair logic
• Tree-sequent calculi and decision procedures for intuitionistic modal logics
• Finite-valued semantics for canonical labelled calculi
• Inquisitive dynamic epistemic logic

This page was built for publication: Sound and Complete Tree-Sequent Calculus for Inquisitive Logic

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