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 ...

El presente trabajo constituye una revisión de la construcción del álgebra de vértices universal envolvente de un álgebra de Lie conforme. Comenzamos dando los resultados básicos relacionados con las álgebras conformes y ...

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 IKtcongruenceand the morphisms are a special kind of ...

We introduce the variety of Hilbert algebras with a modal operator , called H -algebras. The variety of H -algebras is the algebraic counterpart of the f!; g-fragment of the intuitionitic modal logic IntK . We will study ...

In this note we characterize free algebras in varieties of MV-algebras generated by a finite chain L n as algebras of continuous functions from the spectrum of the Boolean skeleton of the free algebra into L n .

For each 1 ≤ p < ∞ and each countable oriented graph Q we introduce an L p -operator algebra O p (Q) which contains the Leavitt path C-algebra LQ as a dense subalgebra and is universal for those L p -representations of LQ ...

In this article, we introduce and study a family of compatible functions in Hilbert algebras which in the case of Heyting algebras agree with the frontal operators given by Esakia (2006, J. Appl. Non-Class. Log., 16, ...