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

Damian Szmuc
Universidad de Buenos Aires (UBA)
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.
Keywords Analytic implication  Relevant logic  First-degree entailment  Logical matrix  Sequent calculus
Categories (categorize this paper)
DOI 10.1007/s11225-020-09926-x
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Angellic Content.Kit Fine - 2016 - Journal of Philosophical Logic 45 (2):199-226.
Paradoxes and Failures of Cut.David Ripley - 2013 - Australasian Journal of Philosophy 91 (1):139 - 164.
Semantical Analysis of Weak Kleene Logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.

View all 23 references / Add more references

Citations of this work BETA

Pure Variable Inclusion Logics.Francesco Paoli, Michele Pra Baldi & Damian Szmuc - forthcoming - Logic and Logical Philosophy:1-22.

Add more citations

Similar books and articles

Dual-Context Sequent Calculus and Strict Implication.Kentaro Kikuchi - 2002 - Mathematical Logic Quarterly 48 (1):87-92.
Investigations Into a Left-Structural Right-Substructural Sequent Calculus.Lloyd Humberstone - 2007 - Journal of Logic, Language and Information 16 (2):141-171.
A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.
Symmetric and Dual Paraconsistent Logics.Norihiro Kamide & Heinrich Wansing - 2010 - Logic and Logical Philosophy 19 (1-2):7-30.
Eight Inference Rules for Implication.Michael Arndt - 2019 - Studia Logica 107 (4):781-808.
Labeled Sequent Calculus for Orthologic.Tomoaki Kawano - 2018 - Bulletin of the Section of Logic 47 (4):217-232.
Aspects of Analytic Deduction.Athanassios Tzouvaras - 1996 - Journal of Philosophical Logic 25 (6):581-596.
Labeled Sequent Calculus for Justification Logics.Meghdad Ghari - 2017 - Annals of Pure and Applied Logic 168 (1):72-111.
On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.


Added to PP index

Total views
278 ( #35,583 of 2,461,762 )

Recent downloads (6 months)
148 ( #3,848 of 2,461,762 )

How can I increase my downloads?


My notes