Fusion, fission, and Ackermann’s truth constant in relevant logics: A proof-theoretic investigation

In Andrew Tedder, Shawn Standefer & Igor Sedlar (eds.), New Directions in Relevant Logic. Springer (forthcoming)
  Copy   BIBTEX


The aim of this paper is to provide a proof-theoretic characterization of relevant logics including fusion and fission connectives, as well as Ackermann’s truth constant. We achieve this by employing the well-established methodology of labelled sequent calculi. After having introduced several systems, we will conduct a detailed proof-theoretic analysis, show a cut-admissibility theorem, and establish soundness and completeness. The paper ends with a discussion that contextualizes our current work within the broader landscape of the proof theory of relevant logics.

Author's Profile

Fabio De Martin Polo
Ruhr-Universität Bochum (PhD)


Added to PP

77 (#91,844)

6 months
77 (#66,166)

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?