CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC

DOI10.1017/S1755020320000131OpenAlexW3039867187MaRDI QIDQ5027673

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)

Uses Software

• Pesca

Cites Work

• Handbook of philosophical logic. Vol. 8
• Deduction and reduction theorems for inferential erotetic logic
• Untersuchungen über das logische Schliessen. I
• A cut-free sequent calculus for defeasible erotetic inferences
• An axiomatic account of question evocation: the propositional case
• A system for proper multiple-conclusion entailment
• Inquisitive Semantics
• Automatic proof generation in an axiomatic system for $\mathsf{CPL}$ by means of the method of Socratic proofs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: CALCULIZING CLASSICAL INFERENTIAL EROTETIC LOGIC