%0 Journal Article %J Logique et Analyse %D 2012 %T It might have been Classical Logic %A Batens, Diderik %X

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.

%B Logique et Analyse %V 55 %P 241–279 %G eng