Tense Operators on BL-algebras and Their Applications

Bulletin of the Section of Logic 50 (3):299-324 (2021)
  Copy   BIBTEX

Abstract

In this paper, the notions of tense operators and tense filters in \-algebras are introduced and several characterizations of them are obtained. Also, the relation among tense \-algebras, tense \-algebras and tense Boolean algebras are investigated. Moreover, it is shown that the set of all tense filters of a \-algebra is complete sublattice of \\) of all filters of \-algebra \. Also, maximal tense filters and simple tense \-algebras and the relation between them are studied. Finally, the notions of tense congruence relations in tense \-algebras and strict tense \-algebras are introduced and an one-to-one correspondence between tense filters and tense congruences relations induced by tense filters are provided.

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Tense Operators on BL-algebras and its Applications.Akbar Paad - forthcoming - Bulletin of the Section of Logic.
An A-theory without tense operators.Meghan Sullivan - 2016 - Canadian Journal of Philosophy 46 (4-5):735-758.
Varieties Of Tense Algebras.Tomasz Kowalski - 1998 - Reports on Mathematical Logic:53-95.
‘Now’ and ‘Then’ in Tense Logic.Ulrich Meyer - 2009 - Journal of Philosophical Logic 38 (2):229-247.
Tense operators on De Morgan algebras.A. V. Figallo & G. Pelaitay - 2014 - Logic Journal of the IGPL 22 (2):255-267.
Boolean algebras arising from information systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.
Remarks on Heyting algebras with tense operators.A. V. Figallo & G. Pelaitay - 2012 - Bulletin of the Section of Logic 41 (1/2):71-74.
Temporalism and Composite Tense Operators.Dan Zeman - 2013 - Disputatio 5 (37):323-328.
Tense Logic and Ontology of Time.Avril Styrman - 2021 - Emilio M. Sanfilippo Et Al, Eds., Proceedings of FOUST 2021: 5th Workshop on Foundational Ontology, Held at JOWO 2021: Episode VII The Bolzano Summer of Knowledge, September 11–18, 2021, Bolzano, Italy, CEURWS, Vol. 2969, 2021.
Tense Logic and the Master Argument.Richard Gaskin - 1999 - History of Philosophy & Logical Analysis 2 (1):203-224.

Analytics

Added to PP
2022-04-28

Downloads
11 (#1,136,567)

6 months
7 (#428,584)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Compact representations of BL-algebras.Antonio Di Nola & Laurentiu Leustean - 2003 - Archive for Mathematical Logic 42 (8):737-761.

Add more references