𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Structure Theorem for Free Temporal Algebras

✍ Scribed by Francisco M. García Olmedo; Antonio J. Rodríguez Salas

Publisher
John Wiley and Sons
Year
1995
Tongue
English
Weight
394 KB
Volume
41
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Ergodic Theorems for Free Group Actions
Ergodic Theorems for Free Group Actions on von Neumann Algebras
✍ Trent E. Walker 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 344 KB

We extend a recent ergodic theorem of A. Nevo and E. Stein to the non-commutative case. Let \ be a faithful normal state on the von Neumann algebra A. Let [a i ] r i=1 generate F r , the free group on r generators, and let [: i ] r i=1 be V-automorphisms of A which leave \ invariant. Define , to be

A Basis for Free Assosymmetric Algebras
A Basis for Free Assosymmetric Algebras
✍ Irvin Roy Hentzel; David Pokrass Jacobs; Luiz Antonio Peresi 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Assosymmetric algebras are nonassociative algebras, where xy z y x yz remains invariant under each permutation of x, y, z. In general, the free nonassociative algebra in a variety is difficult to describe. We show this is not the case for free assosymmetric algebras having characteristic /2, 3. We e

Extension of a Theorem of Kostant for Af
Extension of a Theorem of Kostant for Affine Algebras
✍ Jacob Greenstein 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 223 KB

Let ᒄ be a semisimple Lie algebra over an algebraically closed field of Ä 4 characteristic zero with a root basis s ␣ , . . . , ␣ , root system ⌬, and Cartan subalgebra ᒅ. One may associate to any non-empty subset Ј n a parabolic subalgebra ᒍ , which is defined by the following root space