Calculizing classical inferential erotetic logic

DOI10.1017/S1755020320000131MaRDI QIDQ5027673zbMATH OpenOpenAlexFDO

Authors Moritz Cordes

Publication date 7 February 2022

Published in The Review of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

axiomatizationerotetic implicationinferential erotetic logiccalculizationevocation

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Recommendations

• Deduction and reduction theorems for inferential erotetic logic
• Inferential erotetic logic meets inquisitive semantics
• Answering by means of questions in view of inferential erotetic logic
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• scientific article; zbMATH DE number 2096994

Cites work

• scientific article; zbMATH DE number 6609014 (Why is no real title available?)
• scientific article; zbMATH DE number 3162889 (Why is no real title available?)
• scientific article; zbMATH DE number 3672258 (Why is no real title available?)
• scientific article; zbMATH DE number 3537646 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 2096994 (Why is no real title available?)
• scientific article; zbMATH DE number 2101978 (Why is no real title available?)
• scientific article; zbMATH DE number 1435792 (Why is no real title available?)
• scientific article; zbMATH DE number 3060434 (Why is no real title available?)
• A cut-free sequent calculus for defeasible erotetic inferences
• A system for proper multiple-conclusion entailment
• An axiomatic account of question evocation: the propositional case
• Automatic proof generation in an axiomatic system for \(\mathsf{CPL}\) by means of the method of Socratic proofs
• Deduction and reduction theorems for inferential erotetic logic
• Graph theory
• Handbook of philosophical logic. Vol. 8
• Inquisitive semantics
• Questions, inferences, and scenarios
• Structural proof theory. With an appendix by Aarne Ranta
• Untersuchungen über das logische Schliessen. I

Cited in

(5)

• Deduction and reduction theorems for inferential erotetic logic
• Inferential erotetic logic meets inquisitive semantics
• Dual erotetic calculi and the minimal \(\mathsf{LFI}\)
• A cut-free sequent calculus for defeasible erotetic inferences
• The permutability of rules in the classical inferential calculus

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: Calculizing classical inferential erotetic logic

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