𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Completeness Result for Relation Algebra with Binders

✍ Scribed by R.P. de Freitas; J.P. Viana

Book ID
108498296
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
847 KB
Volume
67
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A complete temporal relational algebra
A complete temporal relational algebra
✍ Debabrata Dey; Terence M. Barron; Veda C. Storey πŸ“‚ Article πŸ“… 1996 πŸ› Springer-Verlag 🌐 English βš– 272 KB
A Completeness Result for Quantification
A Completeness Result for Quantificational Tense Logic
✍ Robert P. McArthur; Hugues Leblanc πŸ“‚ Article πŸ“… 1976 πŸ› John Wiley and Sons 🌐 English βš– 529 KB

We establish in this paper the strong completeness of QK,, a minimal quantificational tense logic. Our result differs from those already in the literature, say [l], in two major respects. First, unlike COCCHIARELLA'S proof, which utilizea semantic tableaux, ours is run in the HENKIN fashion (with mo