Temporal Algebras, Pretemporal Algebras,
✍
Francisco M. García Olmedo; Antonio J. Rodríguez Salas
📂
Article
📅
1995
🏛
John Wiley and Sons
🌐
English
⚖ 822 KB
In this paper the structure of pretemporal algebra is used to study some aspects of temporal algebras and modal algebras. The paper contains a computational approach to finite temporal algebras and a general splitting theorem for finite temporal algebras.