Abstract Cyclic Proofs
| Autor: | Afshari, B., Wehr, D., Ciabattoni, A., Pimentel, E., de Queiroz, R.J.G.B. |
|---|---|
| Přispěvatelé: | ILLC (FNWI), Brain and Cognition |
| Jazyk: | angličtina |
| Rok vydání: | 2022 |
| Zdroj: | Logic, Language, Information, and Computation: 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022 : proceedings Logic, Language, Information, and Computation Logic, Language, Information, and Computation ISBN: 9783031152979 |
| Popis: | Cyclic proof systems permit derivations that are finite graphs in contrast to conventional derivation trees. The soundness of such proofs is ensured by a condition on the paths through the derivation graph, known as the global trace condition. To give a uniform treatment of such cyclic proof systems, Brotherston proposed an abstract notion of trace. We extend Brotherston’s approach into a category theoretical rendition of cyclic derivations, advancing the framework in two ways: First, we introduce activation algebras which allow for a more natural formalisation of trace conditions in extant cyclic proof systems. Second, accounting for the composition of trace information allows us to derive novel results about cyclic proofs, such as introducing the Ramsey trace condition. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|