Calculizing classical inferential erotetic logic
From MaRDI portal
Publication:5027673
Recommendations
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)
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)