𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Representation theorems for Lukasiewicz algebras

✍ Scribed by Alexandru Filipoiu

Publisher
Elsevier Science
Year
1979
Tongue
English
Weight
313 KB
Volume
27
Category
Article
ISSN
0012-365X

No coin nor oath required. For personal study only.

✦ Synopsis

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 topological spaces (see [s]).

In the last part we introduce the concept of O-space and give some representation theorems for 0.v.L.a. (see [2] for the case of Post algebras).

πŸ“œ SIMILAR VOLUMES

Functorial Representation Theorems for M
Functorial Representation Theorems for MVΞ” Algebras with Additional Operators
✍ Franco Montagna πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 203 KB

We prove functorial representation theorems for MV algebras, and for varieties ⌬ obtained from MV algebras by the adding of additional operators corresponding ⌬ w x to natural operations in the real interval 0, 1 , namely PMV algebras, obtained by ⌬ the adding of product, and Ł ⌸ algebras, obtained

Representation Theorems for Quantales
Representation Theorems for Quantales
✍ Silvio Valentini πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 485 KB

## 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 an