Socratic proofs
From MaRDI portal
Publication:1876085
DOI10.1023/B:LOGI.0000031374.60945.6ezbMath1048.03009OpenAlexW4235732401MaRDI QIDQ1876085
Publication date: 16 August 2004
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:logi.0000031374.60945.6e
Philosophical and critical aspects of logic and foundations (03A05) Classical propositional logic (03B05) Structure of proofs (03F07)
Related Items
Automated Generation of Erotetic Search Scenarios ⋮ Socratic trees ⋮ Rasiowa-Sikorski deduction systems with the rule of cut: a case study ⋮ An axiomatic account of question evocation: the propositional case ⋮ Dual erotetic calculi and the minimal \(\mathsf{LFI}\) ⋮ Generating cooperative question-responses by means of erotetic search scenarios ⋮ Answering by Means of Questions in View of Inferential Erotetic Logic ⋮ On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations ⋮ A survey of nonstandard sequent calculi ⋮ A loop-free decision procedure for modal propositional logics K4, S4 and S5 ⋮ Socratic proofs for quantifiers ⋮ A cut-free sequent calculus for defeasible erotetic inferences ⋮ The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. ⋮ Intuitionistic Socratic procedures ⋮ The Method of Socratic Proofs Meets Correspondence Analysis ⋮ A Defeasible Calculus for Zetetic Agents ⋮ Socratic proofs and paraconsistency: A case study ⋮ An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\)
Uses Software
Cites Work