16 citations · 44 across the 22 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
math.LO2013★ 1 cited
On the extensions of Di Nola's Theorem
Michal Botur, Jan Paseka
The main aim of this paper is to present a direct proof of Di Nola's representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra…
math.AC2013
On Tense MV-algebras
Michal Botur, Jan Paseka
The main aim of this article is to study tense MV-algebras which are just MV-algebras with new unary operations and which express a universal time quantifiers. Tense MV-alg…