𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Birkhoff's variety theorem with and without free algebras

✍ Scribed by Adamek J., Trnkova V.

Book ID
127403715
Year
2005
Tongue
English
Weight
246 KB
Category
Library

No coin nor oath required. For personal study only.

✦ Synopsis

From "Theory and Applications of Categories", Vol. 14, No. 18, 2005, pp. 424-450.

πŸ“œ 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.