The main aim of this article is to extend our representation results on tense MV-algebras into a partial mapping setting. Tense MV-algebras are just MV-algebras with new unary operations G and H which express a universal time quantifiers and they were introduced by D. Diaconescu and G. Georgescu. (C) 2017 Elsevier B.V. All rights reserved.
Návaznosti
GA15-15286S, projekt VaV
Název: Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti
Investor: Grantová agentura ČR, Algebraické, vícehodnotové a kvantové struktury pro modelování neurčitosti