@article {360923,
	title = {Socratic proofs and paraconsistency: a case study},
	journal = {Studia Logica},
	volume = {80},
	number = {2-3},
	year = {2005},
	pages = {431{\textendash}466},
	abstract = {<p>This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens{\textquoteright} weak paraconsistent logic CLuN and Sch{\"u}tte{\textquoteright}s maximally paraconsistent logic Fv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.</p>},
	issn = {0039-3215},
	author = {Vanackere, Guido and Wisniewski, Andzrej and Leszczynska, Dorota}
}
