An algebraic study of tense operators on Nelson algebras
AV Figallo, G Pelaitay, J Sarmiento - Studia Logica, 2021 - Springer
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 …
constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay …
A categorical equivalence for tense Nelson algebras
AV Figallo, J Sermento, G Pelaitay - Studia Logica, 2022 - Springer
In this paper we present a category equivalent to that of tense Nelson algebras. The objects
in this new category are pairs consisting of an IKt-algebra and a Boolean IKt-congruence …
in this new category are pairs consisting of an IKt-algebra and a Boolean IKt-congruence …
[PDF][PDF] A Categorial Equivalence for Tense Nelson Algebras
G Pelaitay - researchgate.net
In this paper we present a category equivalent to that of tense Nelson algebras. The objects
in this new category are pairs consisting of an IKt-algebra and a Boolean IKt-congruence …
in this new category are pairs consisting of an IKt-algebra and a Boolean IKt-congruence …
[PDF][PDF] An algebraic study of tense operators on Nelson algebras
J Sarmiento - researchgate.net
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 …
constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay …