Temporal Algebras, Pretemporal Algebras, and Modal Algebras: A Relation between Time and Necessity

&
Mathematical Logic Quarterly 41 (1):24-38 (1995)
  Copy   BIBTEX

Abstract

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19950410104

Links

PhilArchive



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

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

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.
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.
The logic of Peirce algebras.Maarten De Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
The logic of Peirce algebras.Maarten Rijke - 1995 - Journal of Logic, Language and Information 4 (3):227-250.
On Generalized I-algebras And 4-valued Modal Algebras.Aldo Figallo & Paolo Landini - 1995 - Reports on Mathematical Logic:3-18.
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.
Modal Tarski algebras.S. Celani - 2005 - Reports on Mathematical Logic:113-126.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
-}$bounded Wajsberg Algebras With A U- Operator.M. Lattanzi - 2005 - Reports on Mathematical Logic:89-111.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
Qb And Normal Algebras.Bronislaw Tembrowski - 1985 - Bulletin of the Section of Logic 14 (1):41-45.
Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
Subdirectly Irreducible IKt-Algebras.Aldo V. Figallo, Inés Pascual & Gustavo Pelaitay - 2017 - Studia Logica 105 (4):673-701.
On the definability of join by means of polynomials in implicative algebras.Antoni Torrens - 1985 - Bulletin of the Section of Logic 14 (4):158-162.

Analytics

Added to PP
2017-02-17

Downloads
0

6 months
0

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