Combinatorial Proofs for Constructive Modal Logic

Matteo Acclavio; Lutz Straßburger

Combinatorial Proofs for Constructive Modal Logic

Matteo Acclavio
, Lutz Straßburger

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

Combinatorial proofs form a syntax-independent presentation of proofs, originally proposed by Hughes for classical propositional logic. In this paper we present a notion of combinatorial proofs for the constructive modal logics CK and CD, we show soundness and completeness of combinatorial proofs by translation from and to sequent calculus proofs, and we discuss the notion of proof equivalence enforced by these translations.

Original language	English
Title of host publication	Advances in Modal Logic, AiML 2022
Editors	David Fernandez-Duque, Alessandra Palmigiano, Alessandra Palmigiano, Sophie Pinchinat
Publisher	College Publications
Pages	15-36
Number of pages	22
ISBN (Electronic)	9781848904132
Publication status	Published - 1 Jan 2022
Externally published	Yes
Event	14th Conference on Advances in Modal Logic, AiML 2022 - Rennes, France Duration: 22 Aug 2022 → 25 Aug 2022

Publication series

Name	Advances in Modal Logic
Volume	14

Conference

Conference	14th Conference on Advances in Modal Logic, AiML 2022
Country/Territory	France
City	Rennes
Period	22/08/22 → 25/08/22

Keywords

arena nets
combinatorial proofs
constructive modal logic
proof equivalence

Cite this

@inproceedings{3f054af7630c4e419ae7635d06efab0c,

title = "Combinatorial Proofs for Constructive Modal Logic",

abstract = "Combinatorial proofs form a syntax-independent presentation of proofs, originally proposed by Hughes for classical propositional logic. In this paper we present a notion of combinatorial proofs for the constructive modal logics CK and CD, we show soundness and completeness of combinatorial proofs by translation from and to sequent calculus proofs, and we discuss the notion of proof equivalence enforced by these translations.",

keywords = "arena nets, combinatorial proofs, constructive modal logic, proof equivalence",

author = "Matteo Acclavio and Lutz Stra{\ss}burger",

year = "2022",

month = jan,

day = "1",

language = "English",

series = "Advances in Modal Logic",

publisher = "College Publications",

pages = "15--36",

editor = "David Fernandez-Duque and Alessandra Palmigiano and Alessandra Palmigiano and Sophie Pinchinat",

booktitle = "Advances in Modal Logic, AiML 2022",

}

Combinatorial Proofs for Constructive Modal Logic. / Acclavio, Matteo; Straßburger, Lutz.
Advances in Modal Logic, AiML 2022. ed. / David Fernandez-Duque; Alessandra Palmigiano; Alessandra Palmigiano; Sophie Pinchinat. College Publications, 2022. p. 15-36 (Advances in Modal Logic; Vol. 14).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Combinatorial Proofs for Constructive Modal Logic

AU - Acclavio, Matteo

AU - Straßburger, Lutz

PY - 2022/1/1

Y1 - 2022/1/1

N2 - Combinatorial proofs form a syntax-independent presentation of proofs, originally proposed by Hughes for classical propositional logic. In this paper we present a notion of combinatorial proofs for the constructive modal logics CK and CD, we show soundness and completeness of combinatorial proofs by translation from and to sequent calculus proofs, and we discuss the notion of proof equivalence enforced by these translations.

AB - Combinatorial proofs form a syntax-independent presentation of proofs, originally proposed by Hughes for classical propositional logic. In this paper we present a notion of combinatorial proofs for the constructive modal logics CK and CD, we show soundness and completeness of combinatorial proofs by translation from and to sequent calculus proofs, and we discuss the notion of proof equivalence enforced by these translations.

KW - arena nets

KW - combinatorial proofs

KW - constructive modal logic

KW - proof equivalence

UR - https://www.scopus.com/pages/publications/85171882219

M3 - Conference contribution

AN - SCOPUS:85171882219

T3 - Advances in Modal Logic

SP - 15

EP - 36

BT - Advances in Modal Logic, AiML 2022

A2 - Fernandez-Duque, David

A2 - Palmigiano, Alessandra

A2 - Pinchinat, Sophie

PB - College Publications

T2 - 14th Conference on Advances in Modal Logic, AiML 2022

Y2 - 22 August 2022 through 25 August 2022

ER -

Combinatorial Proofs for Constructive Modal Logic

Abstract

Publication series

Conference

Keywords

Other files and links

Fingerprint

Cite this