Calculizing classical inferential erotetic logic

DOI10.1017/S1755020320000131OpenAlexW3039867187MaRDI QIDQ5027673FDOQ5027673

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

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

zbMATH Keywords

axiomatizationerotetic implicationinferential erotetic logiccalculizationevocation

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cites Work

• Graph theory
• Title not available (Why is that?)
• Untersuchungen über das logische Schliessen. I
• Structural proof theory. With an appendix by Aarne Ranta
• Title not available (Why is that?)
• Title not available (Why is that?)
• Questions, inferences, and scenarios
• Inquisitive semantics
• Title not available (Why is that?)
• Handbook of philosophical logic. Vol. 8
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A system for proper multiple-conclusion entailment
• Deduction and reduction theorems for inferential erotetic logic
• An axiomatic account of question evocation: the propositional case
• Title not available (Why is that?)
• A cut-free sequent calculus for defeasible erotetic inferences
• Automatic proof generation in an axiomatic system for \(\mathsf{CPL}\) by means of the method of Socratic proofs

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}\)
• The permutability of rules in the classical inferential calculus
• A cut-free sequent calculus for defeasible erotetic inferences

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)