Abstract
In this paper, we introduce the frameable equality algebras and use the concept of tense operators on them to define tense equality algebras. We investigate some algebraic properties of tense equality algebras and prove the representation theory for strict strong tense equality algebras. Then, we introduce the notions of (prime) tense deductive systems and tense congruences and obtain some structural theorems.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Bakhshi M (2017) Tense operators on non-commutative residuated lattices. Soft Comput 21:4257-4268
Borzooei RA, Zebardasta F, Aaly Kologani M (2017) Some types of filters in equality algebras. Categ Gen Algebra Struct Appl 7:33–55
Borzooei RA, Zarean M, Zahiri O (2018) Involutive equality algebras. Soft Comput 22(22):7505–7517
Botur M, Chajda I, Halaš R, Kolaři M (2011) Tense operators on basic algebras. Int J Theor Phys 50:3737–3749
Burges J (1984) Basic tense logic. In: Gabbay DM, Günther F (eds) Handbook of philosophical logic, vol II. D. Reidel Publishing Company, Dordrecht, pp 89–139
Chajda I, Paseka J (2012) Dynamic effect algebras and their representations. Soft Comput 16:1733–1741
Chajda I, Paseka J (2013) Tense operators and dynamic De Morgan algebras. In: 2013 IEEE 43rd International symposium on multiple-valued logic, pp 219–224
Chirita C (2010) Tense \(\theta \)-valued Moisil propositional logic. Int J Comput Commun Control 5(5):642–653
Ciungu LC (2015) Internal states on equality algebras. Soft Comput 19:939–953
Diaconescu D, Georgescu G (2007) Tense operators on MV-algebras and Lukasiewicz-Moisil algebras. Fund Inf 81:379–408
Dvurečenskij A, Zahiri O (2016) Pseudo equality algebras-revision. Soft Comput 20:2091–2101
Ghorbani S (2019) Monadic pseudo-equality algebras. Soft Comput 23(24):12937–12950
Ghorbani S (2020) Equality logic. Bull Sect Log 49(3):291–324
Jenei S (2012) Equality algebras. Stud Log 100:1201–1209
Jenei S, Kóródi L (2013) Pseudo equality algebras. Arch Math Log 52:469–481
Jenei S, Kóródi L (2011) On the variety of equality algebras. In: Fuzzy logic and technology, pp 153–155
Liu H (2018) Strong tensor non-commutative residuated lattices. IAENG Int J Appl Math 48(1):1–6
Novák V (2005) On fuzzy type theory. Fuzzy Sets Syst 149(2):235–273
Zarean M, Borzooei RA, Zahiri O (2017) On state equality algebras. Quasi Group Relat Syst 25(2):211–220
Zebardast F, Borzooei RA, Kologani MA (2017) Results on equality algebras. Inf Sci 381:270–282
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that she has no conflict of interest.
Human and animal rights
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Ghorbani, S. Tense operators on frameable equality algebras. Soft Comput 26, 203–213 (2022). https://doi.org/10.1007/s00500-021-06453-2
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-021-06453-2