Combinatorial Proofs for Constructive Modal Logic - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2022

Combinatorial Proofs for Constructive Modal Logic

Résumé

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.
Fichier principal
Vignette du fichier
AiML2022.pdf (293.37 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03909538 , version 1 (21-12-2022)

Identifiants

  • HAL Id : hal-03909538 , version 1

Citer

Matteo Acclavio, Lutz Straßburger. Combinatorial Proofs for Constructive Modal Logic. AiML 2022 - Advances in Modal Logic, Aug 2022, Rennes, France. ⟨hal-03909538⟩
84 Consultations
95 Téléchargements

Partager

More