Reflective metalogical frameworks

DOI10.1145/1013560.1013566zbMath1407.03045OpenAlexW2100668485MaRDI QIDQ5277707

José Meseguer, Manuel Clavel, David A. Basin

Publication date: 12 July 2017

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1013560.1013566

zbMATH Keywords

reflectionrewriting logicmembership equational logicmetalogics

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35)

Related Items (10)

Rewriting logic: Roadmap and bibliography ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ Modularity of Ontologies in an Arbitrary Institution ⋮ Twenty years of rewriting logic ⋮ Unnamed Item ⋮ Semantic foundations for generalized rewrite theories ⋮ Computing defeasible meta-logic ⋮ A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems ⋮ Deduction, Strategies, and Rewriting ⋮ Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)

This page was built for publication: Reflective metalogical frameworks