Socratic Trees

The logic of questions as a theory of erotetic arguments

Andrzej Wiśniewski · Synthese · 1996 · 55 citations

Humanities, Philosophy, Logic +9

Erotetic implications

Andrzej Wiśniewski · Journal of Philosophical Logic · 1994 · 40 citations

Taxonomic syntax for first order inference

David McAllester, Robert Givan · Journal of the ACM · 1993 · 39 citations · Full text

Language Studies, Computer Science, Computational Linguistics +11

Socratic Proofs

Andrzej Wiśniewski · Journal of Philosophical Logic · 2004 · 26 citations

Socratic Proofs for Quantifiers★

Andrzej Wiśniewski, Vasilyi Shangin · Journal of Philosophical Logic · 2006 · 19 citations

Computing, Computer Science, Mathematics +11