Proving structural properties of sequent systems in rewriting logic

DOI10.1007/978-3-319-99840-4_7MaRDI QIDQ6164538zbMATH OpenOpenAlexFDO

Authors Carlos Olarte, Elaine Pimentel, Camilo Rocha

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

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

Recommendations

• Formalized meta-theory of sequent calculi for substructural logics
• Proving modal properties of rewrite theories using Maude's metalevel
• Issues in the analysis of proof-search strategies in sequential presentations of logics
• Formalized meta-theory of sequent calculi for linear logics
• scientific article; zbMATH DE number 785049

Cited in

(12)

• A semantic backward chaining proof system
• A uniform procedure for converting matrix proofs into sequent-style systems
• Proof search and certificates for evidential transactions
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
• From input/output logics to conditional logics via sequents -- with provers
• Programming and symbolic computation in Maude
• scientific article; zbMATH DE number 1231669 (Why is no real title available?)
• Sequoia: A Playground for Logicians
• Logic based structure rewriting systems
• Structural Properties for Deductive Argument Systems
• A linear logic framework for multimodal logics
• Facilitating meta-theory reasoning (invited paper)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6164538)