@article {D:CL-, title = {It might have been {C}lassical {L}ogic}, journal = {Logique et Analyse}, volume = {55}, number = {218}, year = {2012}, pages = {241{\textendash}279}, abstract = {

In this paper, a propositional logic Q is presented. This logic is more attractive than classical propositional logic P for explicating actual proofs. Moreover, while Q and P assign the same consequence set to consistent premise sets, Q assigns a sensible and non-trivial consequence set to in- consistent premise sets.

}, author = {Batens, Diderik} }