𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A proof system for the first-order relational calculus

✍ Scribed by Matthew C.B. Hennessy

Publisher
Elsevier Science
Year
1980
Tongue
English
Weight
829 KB
Volume
20
Category
Article
ISSN
0022-0000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Labelled Deductive System for Relation
A Labelled Deductive System for Relational Semantics of the Lambek Calculus
✍ Miroslawa Kolowska-Gawiejnowicz πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 484 KB

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.

Structural completeness of the first-ord
Structural completeness of the first-order predicate calculus
✍ W. A. Pogorzelski; T. Prucnal πŸ“‚ Article πŸ“… 1975 πŸ› John Wiley and Sons 🌐 English βš– 427 KB

1. The problem of structural conipleteness of a logical system is formulated as the qiicstion about derivability in this system of all permissible and structural rules (cf. [lo]).