๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Kripke Semantics for the Logic of Gelfand Quantales

โœ Scribed by Gerard Allwein; Wendy MacCaull

Book ID
110313684
Publisher
Springer Netherlands
Year
2001
Tongue
English
Weight
495 KB
Volume
68
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A kripke-kleene semantics for logic prog
A kripke-kleene semantics for logic programs*
โœ Melvin Fitting ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 895 KB

We use a language L in which we have the propositional connectives A (and), V (or), and -i (not) as primitive. Alternatively we could take some as primitive and define others via the usual definitions, which work even in Kleene's three-valued logic. We also allow quantifiers V and 3, taking both as

Quantales as completions of ordered mono
Quantales as completions of ordered monoids: Revised semantics for Intuitionistic Linear Logic
โœ D. Larchey-Wendling; D. Galmiche ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 939 KB

The aim of this paper is to propose a unified analysis of the relationships between the notions of order and closure and to relate it to different semantics of Intuitionistic Linear Logic (ILL). We study the embedding of ordered monoids into quantales and then we propose general constructions and re