The following pages link to Reflective metalogical frameworks (Q5277707):
Displaying 10 items.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Computing defeasible meta-logic (Q2055782) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- (Q2851051) (← links)
- Deduction, Strategies, and Rewriting (Q2864357) (← links)
- Modularity of Ontologies in an Arbitrary Institution (Q2945717) (← links)
