@article {D:pcr, title = {Propositional Logic Extended With A Pedagogically Useful Relevant Implication}, journal = {Logic and Logical Philosophy}, volume = {23}, number = {3}, year = {2014}, pages = {245{\textendash}276}, abstract = {

First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a relevant logic that has all classical theorems as theorems.

}, doi = {10.12775/LLP.2013.024}, author = {Batens, Diderik} }