A Structure Theorem For Free Temporal Algebras

&
Mathematical Logic Quarterly 41 (2):249-256 (1995)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19950410210

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Structure Theorem for Free Temporal Algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (2):249-256.
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (1):24-38.
Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity.Francisco García Olmed & Antonio Rodríguez Salas - 1995 - Mathematical Logic Quarterly 41 (1):24-38.
Negation and BCK‐algebras.Francisco M. García Olmedo & Antonio J. Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.
Negation and BCK‐algebras.Francisco García Olmedo & Antonio Rodríguez Salas - 2003 - Mathematical Logic Quarterly 49 (4):336-346.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
MV*—Algebras.Renato Lewin, Marta Sagastume & Pedro Massey - 2004 - Logic Journal of the IGPL 12 (6):461-483.
The Intimate Relationship Between the McNaughton and the Chinese Remainder Theorems for MV-algebras.Eduardo J. Dubuc & Yuri Poveda - 2013 - Studia Logica 101 (3):483-485.
Decomposability of free Łukasiewicz implication algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
VMV# algebrasV.R. Lewin, M. Sagastume & P. Massey - 2004 - Logic Journal of the IGPL 12 (6):461-483.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2.Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157-181.
B-varieties with normal free algebras.Bronis?aw Tembrowski - 1989 - Studia Logica 48 (4):555 - 564.

Analytics

Added to PP
2017-02-21

Downloads
1 (#1,884,204)

6 months
1 (#1,533,009)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references