𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Safe Relational Calculus for Functional Logic Deductive Databases

✍ Scribed by Jesús M. Almendros-Jiménez; Antonio Becerra-Terón

Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
424 KB
Volume
86
Category
Article
ISSN
1571-0661

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.

Relating Natural Deduction and Sequent C
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic
✍ Jeff Polakow; Frank Pfenning 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 851 KB

We present a sequent calculus for intuitionistic non-commutative linear logic (INCLL), show that it satisfies cut elimination, and investigate its relationship to a natural deduction system for the logic. We show how normal natural deductions correspond to cut-free derivations, and arbitrary natural