Center for Logic, Language, and Cognition
A Calculus for Relatedness and Possibility that Provides an Account of Implication & Some Remarks on the Normalisation of Weak Normal Modal Logics
We present a natural deduction (ND) calculus for the system introduced by A. Iacona in "Relatedness, Compatibility, Implication" (submitted for publication). The system provides a formal account of implication in terms of compatibility. Compatibility, in turn, is defined in terms of relatedness and possibility. By providing a normalisation result for the calculus and proving that all normal derivations are analytic, we show that the system is consistent and decidable. Since the calculus contains, as fragments, a natural deduction calculus for the classical version of the modal logic K and of the modal logic T, normalisation and analyticity results for these two logics, famously hard to be captured by well-behaved ND calculi, are also presented
https://www.llc-philosophy.unito.it/logicllc/logicllc-seminars#h.pdgz0zy0l7iw
12:00 -- 13:15, Palazzo Nuovo, Philosophy Library, Meeting Room 1
