Logique et Analyse

TitleIt might have been Classical Logic
Publication TypeJournal Article
Year of Publication2012
AuthorsBatens, D
JournalLogique et Analyse
Volume55
Number218
Pagination241–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.

Citation KeyD:CL-