Combinatorial Flows as Bicolored Atomic Flows - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Combinatorial Flows as Bicolored Atomic Flows

Résumé

We introduce combinatorial flows as a graphical representation of proofs. They can be seen as a generalization of atomic flows on one side and of combinatorial proofs on the other side. From atomic flows, introduced by Guglielemi and Gundersen, they inherit the close correspondence with open deduction and the possibility of tracing the occurrences of atoms in a derivation. From combinatorial proofs, introduced by Hughes, they inherit the correctness criterion that allows to reconstruct the derivation from the flow. In fact, combinatorial flows form a proof system in the sense of Cook and Reckhow. We show how to translate between open deduction derivations and combinatorial flows, and we show how they are related to combinatorial proofs with cuts.
Fichier principal
Vignette du fichier
Combinatorial_Flows.pdf (192.88 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

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

Identifiants

Citer

Giti Omidvar, Lutz Straßburger. Combinatorial Flows as Bicolored Atomic Flows. WoLLIC 2022 - 28th Workshop on Logic, Language, Information and Computation, Sep 2022, Iaşi, Romania. pp.141-157, ⟨10.1007/978-3-031-15298-6_9⟩. ⟨hal-03909530⟩
57 Consultations
49 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More