Shows
MCMP – LogicOn Relevance of Entailment in a Classical Logic ContextPeter Verdée (Université catholique de Louvain) gives a talk at the MCMP Colloquium (16 April, 2015) titled "On Relevance of Entailment in a Classical Logic Context". Abstract: In this talk I present a logic that aims to determine whether implications in a classical logic context express a relevant connection between antecedent and consequent. Just like in the relevance logic tradition, the connective '->' is added to the language of classical logic as a formalisation of the relevant entailment relation in the object language (without nesting restrictions). The recursively enumerable set of theorems of the logic is defined by a se...2015-05-1100 min