TY - JOUR T1 - It might have been Classical Logic JF - Logique et Analyse Y1 - 2012 A1 - Batens, Diderik AB -

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.

VL - 55 SP - 241–279 ER -