Munich Center for Mathematical Philosophy (MCMP)
print


Breadcrumb Navigation


Content

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

Meeting-ID: 989-7974-3900

23.07.2020 12:00  – 14:00 

Please contact office.leitgeb@lrz.uni-muenchen.de for the password.

Title:

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

Abstract:

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.