The following pages link to Socratic proofs (Q1876085):
Displaying 18 items.
- Socratic trees (Q383562) (← links)
- Socratic proofs and paraconsistency: A case study (Q813092) (← links)
- Dual erotetic calculi and the minimal \(\mathsf{LFI}\) (Q897482) (← links)
- The method of Socratic proofs for modal propositional logics: K5, S4.2, S4.3, S4F, S4R, S4M and G. (Q1005938) (← links)
- An abductive Question-Answer System for the minimal logic of formal inconsistency \(\mathsf{mbC}\) (Q2118976) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- A loop-free decision procedure for modal propositional logics K4, S4 and S5 (Q2271187) (← links)
- A cut-free sequent calculus for defeasible erotetic inferences (Q2278843) (← links)
- Rasiowa-Sikorski deduction systems with the rule of cut: a case study (Q2422312) (← links)
- An axiomatic account of question evocation: the propositional case (Q2422531) (← links)
- Socratic proofs for quantifiers (Q2499290) (← links)
- Generating cooperative question-responses by means of erotetic search scenarios (Q2987728) (← links)
- Answering by Means of Questions in View of Inferential Erotetic Logic (Q3295794) (← links)
- On Search for Law-Like Statements as Abductive Hypotheses by Socratic Transformations (Q3305311) (← links)
- Intuitionistic Socratic procedures (Q3647238) (← links)
- A Defeasible Calculus for Zetetic Agents (Q5013614) (← links)
- The Method of Socratic Proofs Meets Correspondence Analysis (Q5241406) (← links)
- Automated Generation of Erotetic Search Scenarios (Q5278206) (← links)
