Section: New Results

Combinatorial Proofs for Logics of Relevance and Entailment

Participants : Lutz Straßburger, Matteo Acclavio.

In this work (presented at the WoLLIC 2019 conference [16]) we characterize classical combinatorial proofs which also represent valid proofs for relevant logic with and without the mingle axiom. Moreover, we extend our syntax in order to represent combinatorial proofs for the more restrictive framework of entailment logic.