Combinatorial Flows as Bicolored Atomic Flows - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2022

Combinatorial Flows as Bicolored Atomic Flows

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
59 View
51 Download

Altmetric

Share

Gmail Facebook X LinkedIn More