Sub-Birkhoff (ResearchIndex)

See this document in CiteSeerX!

Sub-Birkhoff (Make Corrections)
Vincent van Oostrom

Rate this article:

(Enter summary)
Abstract: . A fundamental result in rewriting is : E j= s t ()1 E ` s = t ()2 s $ E t 1. is Birkho's theorem expressing that semantic consequence (j=) coincides with syntactic consequence (`). 2. expresses that equality in equational logic (=) coincides with convertibility in rewriting ($ ), a property known as logicality. We show that the result can be extended to hold for several sub-equational logics by restricting the rst and third components of the fundamental result in suitable ways. ... (Update)

Similar documents (at the sentence level):
59.4%: Sub-Birkhoff - van Oostrom (Correct)

Active bibliography (related documents): More All
0.3: Examples of Higher-Order Rewriting - Several Examples Of (Correct)
0.2: On Generalized Theorems for . . . - Aiguier, Boin, Longuet (Correct)
0.2: A Deterministic Lazy Conditional Narrowing Calculus - Marin (2002) (Correct)

Similar documents based on text: More All
0.2: On Herbrand's Theorem - Buss (1995) (Correct)
0.2: Logicality of Conditional Rewrite Systems - Yamada, Avenhaus, al. (1998) (Correct)
0.1: The Coalgebraic Dual Of Birkhoff's Variety Theorem - Awodey, Hughes (2000) (Correct)

BibTeX entry: (Update)

@misc{ oostrom-subbirkhoff,
  author = "Vincent van Oostrom",
  title = "Sub-Birkhoff",
  url = "citeseer.ist.psu.edu/383570.html" }