Labelled sequent calculus for inquisitive logic

DOI10.1007/978-3-662-55665-8_36MaRDI QIDQ1679793zbMATH OpenOpenAlexFDO

Authors Jinsheng Chen, Minghui Ma

Publication date 22 November 2017

Full work available at URL https://doi.org/10.1007/978-3-662-55665-8_36

zbMATH Keywords

cut eliminationinquisitive logiclabelled sequent calculus

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• First-order inquisitive pair logic
• A Multi-type Calculus for Inquisitive Logic
• Labeled calculi and finite-valued logics
• Labeled sequent calculi for modal logics and implicit contractions

Cited in

(14)

• Completeness for the classical antecedent fragment of inquisitive first-order logic
• Herzberger's limit rule with labelled sequent calculus
• A Multi-type Calculus for Inquisitive Logic
• First-order inquisitive pair logic
• A Focused Sequent Calculus for Higher-Order Logic
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• Automated Reasoning with Analytic Tableaux and Related Methods
• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• Labeled Sequent Calculus for Orthologic
• Bounded inquisitive logics: sequent calculi and schematic validity
• Axiomatizing modal inclusion logic and its variants
• Labelled sequent calculi for inquisitive modal logics
• Geometric theories in inquisitive modal logic
• A proof-theoretic interpolation theorem for inquisitive propositional logic

This page was built for publication: Labelled sequent calculus for inquisitive logic

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