Here we further extend the metalogical reasoning principles proposed there to consider classes of parameterized theories and apply this reflective methodology ...

Abstract. Basin, Clavel, and Meseguer showed in [1] that membership equational logic is a good metalogical framework because of its initial.

Here we further extend the metalogical reasoning principles proposed there to consider classes of parameterized theories and apply this reflective methodology ...

This work extends metalogical reasoning principles proposed there to consider classes of parameterized theories and applies this reflective methodology to ...

Parameterized metareasoning in membership equational logic ; ISSN · 0302-9743, ; ISBN · 9783642249327 ; Year of publication · 2011 ; Volume · 7000 LNCS ; Pages · 277-298.

A metalogical framework is a logic with an associated methodology that is used to represent other logics and to reason about their metalogical properties.

An Introduction to Maude and Some of Its Applications · N. Martí-Oliet ; Parameterized Metareasoning in Membership Equational Logic · M. ClavelN. Martí-Oliet ...

Abstract. Parameterized specification and programming is a key modularity and reusability technique crucial for managing the complexity of large ...

Parameterized Metareasoning in Membership Equational Logic. Conference Paper ... We also show that membership equational logic, many-sorted equational logic, and ...

Membership equational logic is a sublogic of rewriting logic [37]. A rewrite theory is a pair (T,R) with T a membership equational theory, and R a ...