𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Representation Theorems for Quantales

✍ Scribed by Silvio Valentini

Publisher
John Wiley and Sons
Year
1994
Tongue
English
Weight
485 KB
Volume
40
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

In this paper we prove that any quantale Q is (isomorphic to) a quantale of suitable relations on Q. As a consequence two isomorphism theorems are also shown with suitable sets of functions of Q into Q. These theorems are the mathematical background one needs in order to give natural and complete semantics for (non‐commutative) Linear Logic using relations.

Mathematics Subject Classification: 06D05, 06D10, 06D20, 03G25.

πŸ“œ SIMILAR VOLUMES

Representation theorems for Lukasiewicz
Representation theorems for Lukasiewicz algebras
✍ Alexandru Filipoiu πŸ“‚ Article πŸ“… 1979 πŸ› Elsevier Science 🌐 English βš– 313 KB

The O-valued Lukasiewicz algebras (8.v.L.a.) were introduced by Gr.C. Moisil in 1968 [3] (see also [4]). The first part of this paper deals with the problem of the m-representability for 0.v.L.a. The second part is devoted to the study of the dual of the ca';egory of B.v.L.a., using ordered topolo