•  16
    Discrete Duality for Nelson Algebras with Tense Operators
    with Aldo V. Figallo and Gustavo Pelaitay
    Studia Logica 111 (1): 1-19. 2023.
    In this paper, we continue with the study of tense operators on Nelson algebras (Figallo et al. in Studia Logica 109(2):285–312, 2021, Studia Logica 110(1):241–263, 2022). We define the variety of algebras, which we call tense Nelson D-algebras, as a natural extension of tense De Morgan algebras (Figallo and Pelaitay in Logic J IGPL 22(2):255–267, 2014). In particular, we give a discrete duality for these algebras. To do this, we will extend the representation theorems for Nelson algebras given …Read more
  •  19
    An Algebraic Study of Tense Operators on Nelson Algebras
    with A. V. Figallo and G. Pelaitay
    Studia Logica 109 (2): 285-312. 2020.
    Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras and proved that the IKt system has IKt-algebras as algebraic counterpart. In this paper, we introduce and study the variety of tense Nelson algebras. First, we give some examples and we prove some properties. Next, we associate an IKt-algebra to each tense Nelson algebras. …Read more