Proving structural properties of sequent systems in rewriting logic

DOI10.1007/978-3-319-99840-4_7zbMath1521.03059OpenAlexW2891971883MaRDI QIDQ6164538

Elaine Pimentel, Camilo Rocha, Carlos Olarte

Publication date: 28 July 2023

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99840-4_7

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Related Items (5)

A linear logic framework for multimodal logics ⋮ Sequoia: A Playground for Logicians ⋮ Programming and symbolic computation in Maude ⋮ Proof search and certificates for evidential transactions ⋮ A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems

This page was built for publication: Proving structural properties of sequent systems in rewriting logic