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

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

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.

Author's Profile

Damian Szmuc
Universidad de Buenos Aires (UBA)

Analytics

Added to PP
2020-09-09

Downloads
570 (#25,770)

6 months
119 (#25,907)

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?