Skip to Main content Skip to Navigation
Conference papers

On Combinatorial Proofs for Logics of Relevance and Entailment

Abstract : Hughes' combinatorial proofs give canonical representations for classical logic proofs. In this paper we characterize classical combi-natorial 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/hal-02390426
Contributor : Lutz Straßburger <>
Submitted on : Tuesday, December 3, 2019 - 9:49:23 AM
Last modification on : Friday, April 30, 2021 - 10:02:38 AM
Long-term archiving on: : Wednesday, March 4, 2020 - 3:03:17 PM

File

CPrelevant.pdf
Files produced by the author(s)

Identifiers

Citation

Matteo Acclavio, Lutz Straßburger. On Combinatorial Proofs for Logics of Relevance and Entailment. WoLLIC 2019 - 26th International Workshop on Logic, Language, Information, and Computation, Jul 2019, Utrecht, Netherlands. pp.1-16, ⟨10.1007/978-3-662-59533-6_1⟩. ⟨hal-02390426⟩

Share

Metrics

Record views

98

Files downloads

383