k-rough Heyting algebras were introduced by Eric San Juan as an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of rough set concepts in particular. ...

In 2011, tense θ-valued Łukasiewicz–Moisil algebras (or tense LM θ -algebras) were introduced by Chiriţă as an algebraic counterpart of the tense θ-valued Moisil propositional logic. In this paper we develop a topological ...

In 2007, tense n-valued Lukasiewicz-Moisil algebras (or tense LMn-algebras) were introduced by Diaconescu and Georgescu as an algebraic counterpart of the tense n-valued Moisil logic. In this article we continue the study ...

Neste trabalho tratamos do objeto matemático Grupo Topológico. Para este desenvolvimento, abordamos elementos básicos de Grupo e Espaço Topológico

We define intrinsic, natural and metrizable topologies T(Omega), T, T(s,Omega) and T(s) in G(Omega), (K) over bar, G(s)(Omega) and (K) over bar (s) respectively. The topology T(Omega) induces T, T(s,Omega) and T(s). The ...

In this work we provide a new topological representation for implication algebras in such a way that its one- point compactification is the topological space given in [1]. Some applications are given thereof.

Neste trabalho estudaremos as topologias m-ádicas. Para isto, relembraremos alguns conceitos vistos na Álgebra e Topologia que nos ajudarão a avançar nos nossos estudos.

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 work we will study Tarski algebras endowed with a subordination, called subordination Tarski algebras. We will define the notion of round filters, and we will study the class of irreducible round filters and the ...