zbMATH — the first resource for mathematics

New foundations for rewriting logic. (English) Zbl 0966.68088
Futatsugi, Kokichi, The 3rd international workshop on rewriting logic and its applications, RWLW. Kanazawa City Cultural Hall, Kanzawa, Japan, September 18-20, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 36, 27 p., electronic only (2000).
Summary: This paper presents an abstract treatment of the foundations of rewriting logic, generalising in three ways: an arbitrary 2-category plays the role of the specific 2-category \(C\); the foundations are rendered fully independent of the underlying equational logic; and the semantics covers non-conventional sentences. Despite the high level of abstraction a number of properties of interest to Computing Science are seen to hold including the existence of initial models, liberality along theory morphisms, exactness, and a completeness theorem for a very abstract notion of deduction.
For the entire collection see [Zbl 0957.00046].

68Q42 Grammars and rewriting systems
rewriting logic
Full Text: Link