A Simple Logical Matrix and Sequent Calculus for Parry’s Logic of Analytic Implication

Studia Logica 109 (4):791-828 (2021)
  Copy   BIBTEX


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.

Author's Profile

Damian Szmuc
Universidad de Buenos Aires (UBA)


Added to PP

634 (#26,074)

6 months
133 (#28,972)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?