First-order inquisitive pair logic

DOI10.1007/978-3-642-18026-2_13MaRDI QIDQ3063977zbMATH OpenOpenAlexFDO

Authors Katsuhiko Sano

Publication date 17 December 2010

Published in Logic and Its Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-18026-2_13

Mathematics Subject Classification ID

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

Recommendations

• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• A first-order inquisitive semantics
• Labelled sequent calculus for inquisitive logic
• A Multi-type Calculus for Inquisitive Logic
• Completeness for the classical antecedent fragment of inquisitive first-order logic

Cited in

(9)

• Weak negation in inquisitive semantics
• Socratic proofs for quantifiers
• A first-order framework for inquisitive modal logic
• Sound and Complete Tree-Sequent Calculus for Inquisitive Logic
• Bounded inquisitive logics: sequent calculi and schematic validity
• Labelled sequent calculus for inquisitive logic
• A first-order inquisitive semantics
• Coherence in inquisitive first-order logic
• Completeness for the classical antecedent fragment of inquisitive first-order logic

This page was built for publication: First-order inquisitive pair logic

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