@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 = {<p>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.</p>},
	author = {Batens, Diderik}
}
