Cyclic Proofs, Hypersequents, and Transitive Closure Logic
Work
Year: 2022
Type: book-chapter
Abstract: We propose a cut-free cyclic system for Transitive Closure Logic (TCL) based on a form of hypersequents , suitable for automated reasoning via proof search. We show that previously proposed sequent s... more
Authors Anupam Das, Marianna Girlando
Institution University of Birmingham
Cites: 21
Cited by: 4
Related to: 10
FWCI: 1.778
Citation percentile (by year/subfield): 76.39
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
APC paid (est): $5,392