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