Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


Zoom Talk (Work in Progress): Damian Szmuc (Buenos Aires)

Meeting-ID: 989-7974-3900

23.07.2020 12:00  – 14:00 

Please contact for the password.


A simple logical matrix and sequent calculus for Parry's logic of Analytic Implication


We provide a logical matrix semantics and a Gentzen-style sequent calculus for the first-degree entailments valid in W. T. Parry's logic of Analytic Implication. We achieve the former by introducing a logical matrix closely related to that inducing paracomplete weak Kleene logic, and the latter by presenting a calculus where the initial sequents and the left and right rules for negation are subject to linguistic constraints.