𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Structure theorems for Ambrose algebras

✍ Scribed by Marina Haralampidou

Publisher
Springer Netherlands
Year
1995
Tongue
English
Weight
722 KB
Volume
31
Category
Article
ISSN
0031-5303

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Structure Theorem for Free Temporal Al
A Structure Theorem for Free Temporal Algebras
✍ Francisco M. GarcΓ­a Olmedo; Antonio J. RodrΓ­guez Salas πŸ“‚ Article πŸ“… 1995 πŸ› John Wiley and Sons 🌐 English βš– 394 KB

## Abstract In this paper an algebraic version for temporal algebras of the logical filtrations for modal and temporal logics is analysed. A structure theorem for free temporal algebras and also some results with regard to the variety of temporal algebras are obtained.

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