Carlos Olarte

A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

2022 · Journal of Logical and Algebraic Methods in Programming

This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-admissibility, and identity expansion. Although undecidable in general, these structural properties are crucial in proof theory because …