zbMATH — the first resource for mathematics

Sub-Birkhoff. (English) Zbl 1122.68461
Kameyama, Yukiyoshi (ed.) et al., Functional and logic programming. 7th international symposium, FLOPS 2004, Nara, Japan, April 7–9, 2004. Proceedings. Berlin: Springer (ISBN 3-540-21402-X/pbk). Lecture Notes in Computer Science 2998, 180-195 (2004).
Summary: For equational specifications validity coincides with derivability in equational logic, which in turn coincides with convertibility generated by the rewrite relation. It is shown that this correspondence, essentially due to Birkhoff, can be generalised in a uniform way to sub-equational logics such as Meseguer’s rewriting logic.
For the entire collection see [Zbl 1048.68005].

68Q42 Grammars and rewriting systems
68Q60 Specification and verification (program logics, model checking, etc.)
Full Text: DOI