8 citations · 14 across the 14 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Elaine Pimentel, Enrico Tassi
Logical frameworks and meta-languages form a common substrate for representing, implementing and reasoning about a wide variety of deductive systems of interest in logic and comput…
cs.LO2021
A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems
Carlos Olarte, Elaine Pimentel, Camilo Rocha
This paper develops an algorithmic-based approach for proving inductive properties of propositional sequent systems such as admissibility, invertibility, cut-elimination, and ident…