research
∙
01/15/2023
Deciding Equations in the Time Warp Algebra
Join-preserving maps on the discrete time scale ω^+, referred to as time...
share
research
∙
09/18/2022
Algebraic semantics for one-variable lattice-valued logics
The one-variable fragment of any first-order logic may be considered as ...
research
∙
06/11/2021
