<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="7.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Vanackere, Guido</style></author><author><style face="normal" font="default" size="100%">Wisniewski, Andzrej</style></author><author><style face="normal" font="default" size="100%">Leszczynska, Dorota</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Socratic proofs and paraconsistency: a case study</style></title><secondary-title><style face="normal" font="default" size="100%">Studia Logica</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><number><style face="normal" font="default" size="100%">2-3</style></number><volume><style face="normal" font="default" size="100%">80</style></volume><pages><style face="normal" font="default" size="100%">431–466</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Fv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.&lt;/p&gt;</style></abstract></record></records></xml>