scholarly journals Membership Equational Logic, Calculus of Inductive Constructions, and Rewrite Logic (Extended Abstract)

1998 ◽  
Vol 15 ◽  
pp. 388-393 ◽  
Author(s):  
Jean-Pierre Jouannaud
Keyword(s):  
Equational Logic ◽  
Calculus Of Inductive Constructions ◽  
Membership Equational Logic

scholarly journals A Comparison of Petri Net Semantics under the Collective Token Philosophy

1998 ◽  
Vol 5 (17) ◽  
Author(s):  
Roberto Bruni ◽  
José Meseguer ◽  
Ugo Montanari ◽  
Vladimiro Sassone
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Equational Logic ◽  
Monoidal Categories ◽  
Transition Systems ◽  
Logical Description ◽  
Membership Equational Logic

In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities between three such models, namely configuration structures, concurrent transition systems, and (strictly) symmetric (strict) monoidal categories. We use the notion of adjunction to express each connection. We also present a purely logical description of the collective token interpretation of net behaviours in terms of theories and theory morphisms in partial membership equational logic.

scholarly journals Declarative Debugging of Membership Equational Logic Specifications

2008 ◽  
pp. 174-193 ◽  
Author(s):  
Rafael Caballero ◽  
Narciso Martí-Oliet ◽  
Adrián Riesco ◽  
Alberto Verdejo
Keyword(s):  
Equational Logic ◽  
Membership Equational Logic

scholarly journals Specification and proof in membership equational logic

2000 ◽  
Vol 236 (1-2) ◽  
pp. 35-132 ◽  
Author(s):  
Adel Bouhoula ◽  
Jean-Pierre Jouannaud ◽  
José Meseguer
Keyword(s):  
Equational Logic ◽  
Membership Equational Logic

Remarks on remarks on many-sorted equational logic

1987 ◽  
Vol 22 (4) ◽  
pp. 41-48 ◽  
Author(s):  
J A Goguen ◽  
J Meseguer
Keyword(s):  
Equational Logic
Sign in / Sign up

Export Citation Format

Share Document