Abstract
In this paper the concept of tense operators on a pseudo-MV algebra is introduced. Since a pseudo-MV algebra can be regarded as an axiomatization of non-commutative infinite-valued Łukasiewicz logic, these tense operators are considered to quantify the dimension, i.e. one expresses “it is always going to be the case that” and the other expresses “it has always been the case that”. We investigate basic properties of tense operators on pseudo-MV algebras and characterize the homomorphism of tense pseudo-MV algebras. Finally, we define a stronger version of tense pseudo-MV algebras and discuss the properties of filters under tense operators.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Botur, M., Paseka, J.: On tense MV-algebras. Fuzzy Sets Syst. 259, 111–125 (2015)
Botur, M., Chajda, I., Halas, R., Kolarik, M.: Tense operators on basic algebras. Int. J. Theor. Phys. 50, 3737–3749 (2011)
Burges, J.P.: Basic tense logic. In: Gabbay, D.M., Gunther, F. (eds.) Handbook of Philosophical Logic, vol. II, pp. 89–133. Springer, Netherlands (1984)
Chajda, I.: Algebraic axiomatization of tense intuitionistic logic. Cent. Eur. J. Math. 9, 1185–1191 (2011)
Chajda, I., Kolarik, M.: Dynamic effect algebras. Math. Slovaca. 62, 379–388 (2012)
Chajda, I., Paseka, J.: Dynamic effect algebras and their representation. Soft. Comput. 16, 1733–1741 (2012)
Chajda, I., Paseka, J.: Tense operators in fuzzy logic. Fuzzy Sets Syst. 276, 100–113 (2015)
Doacpmescu, D., Georgescu, G.: Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Fundam. Inform. 81, 379–408 (2007)
Figallo, A.V., Pelaitay, G.: Tense operators on \(SH_{n}\)-algebras. Pioneer J. Algebra, Number Theory Appl. 1, 33–41 (2011)
Figallo, A.V., Gallardo, G., Pelaitay, G.: Tense operators on \(m\)-symmetric algebras. Int. Math. Forum. 41, 2007–2014 (2011)
Georgescu, G., Iorgulescu, A.: Pseudo MV algebras: a noncommutative extension of MV algebras. In: Proceedings of the Fourth International Symposium on Economic Informatics, pp. 961–968. Bucharest (1999)
Georgescu, G., Iorgulescu, A.: Pseudo MV algebras. Mult Valued Log 6, 95–135 (2001)
Kowalski, T.: Varieties of tense algebras. Rep. Math. Logic 30, 1–43 (1996)
Lemmon, E.J.: Algebraic semantics for modal logic. J. Symb. Logic 31, 191–218 (1996)
Leustean, I.: Non-commutative Łukasiewicz propositional logic. Arch. Math. Logic 45, 191–213 (2006)
Paseka, J.: Operators on MV-algebras and their representations. Fuzzy Sets Syst. 232, 62–73 (2013)
Rachunek, J.: A non-commutative generalization of MV-algebras. Czechoslvak Math. J. 52, 255–273 (2002)
Acknowledgments
I would like to show my sincere thanks to the referees for their valuable comments. This project is supported by the National Natural Science Foundation of China (Grant No. 11501245).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing Switzerland
About this paper
Cite this paper
Chen, WJ. (2017). Tense Operators on Pseudo-MV Algebras. In: Fan, TH., Chen, SL., Wang, SM., Li, YM. (eds) Quantitative Logic and Soft Computing 2016. Advances in Intelligent Systems and Computing, vol 510. Springer, Cham. https://doi.org/10.1007/978-3-319-46206-6_34
Download citation
DOI: https://doi.org/10.1007/978-3-319-46206-6_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-46205-9
Online ISBN: 978-3-319-46206-6
eBook Packages: EngineeringEngineering (R0)