𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Colour associates to semantic linear orders

✍ Scribed by Benny Shanon

Publisher
Guilford Publishing Inc
Year
1982
Tongue
English
Weight
472 KB
Volume
44
Category
Article
ISSN
0340-0727

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Countably categorical coloured linear or
Countably categorical coloured linear orders
✍ Feresiano Mwesigye; John K. Truss πŸ“‚ Article πŸ“… 2010 πŸ› John Wiley and Sons 🌐 English βš– 107 KB

In this paper, we give a classification of (finite or countable) β„΅0-categorical coloured linear orders, generalizing Rosenstein's characterization of β„΅0-categorical linear orderings. We show that they can all be built from coloured singletons by concatenation and Qn-combinations (for n β‰₯ 1). We give

A Semantic Approach to Order-sorted Rewr
A Semantic Approach to Order-sorted Rewriting
✍ A. Werner πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 863 KB

Order-sorted rewriting builds a nice framework to handle partially defined functions and subtypes. To be able to prove a critical-pair lemma and Birkhoff's completeness theorem, order-sorted rewriting was restricted to sort decreasing term rewriting systems. However, natural examples show that this