𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Semantic data modelling using linear logic

✍ Scribed by Dong-Tsan Lee

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
626 KB
Volume
60
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Models, semantics and logical truth
Models, semantics and logical truth
✍ John Etchemendy πŸ“‚ Article πŸ“… 1988 πŸ› Springer Netherlands 🌐 English βš– 914 KB
THE JUDGEMENT CALCULUS FOR INTUITIONISTI
THE JUDGEMENT CALCULUS FOR INTUITIONISTIC LINEAR LOGIC: PROOF THEORY AND SEMANTICS
✍ Silvio Valentini πŸ“‚ Article πŸ“… 1992 πŸ› John Wiley and Sons 🌐 English βš– 958 KB

## Abstract In this paper we propose a new set of rules for a judgement calculus, i.e. a typed lambda calculus, based on Intuitionistic Linear Logic; these rules ease the problem of defining a suitable mathematical semantics. A proof of the canonical form theorem for this new system is given: it as

Semantic data modeling of spatiotemporal
Semantic data modeling of spatiotemporal database applications
✍ Adnan Yazici; Qinwei Zhu; Ning Sun πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 214 KB

Due to the ubiquity of space-related and time-related information, the ability of a database system to deal with both spatial and temporal phenomenon facts in a spatiotemporal applications is highly desired. However, uncertain and fuzzy information in these applications highly increases the complexi