Zoom Talk (Work in Progress): Damian Szmuc (Buenos Aires)
Please contact email@example.com 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.