Buscar
Mostrando ítems 1-10 de 86
A Topological Duality for k x j-rough Heyting Algebras
(Old City Publishing Inc, 2020-08)
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. ...
A topological duality for tense θ -valued Łukasiewicz–Moisil algebras
(Springer Verlag Berlín, 2018-07)
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 ...
A topological duality for tense LMn-algebras and applications
(Oxford University Press, 2018-03)
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 ...
Zariski-type topology for implication algebras
(Wiley VCH Verlag, 2010-06)
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.
Hilbert algebras with a necessity modal operator
(Jagiellonian University, 2014-10)
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 ...
Subordination Tarski algebras
(Taylor & Francis, 2019-07)
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 ...
Topics in algebraic and topological K-theory
(Springer, 2011)
This volume is an introductory textbook to K-theory, both algebraic and topological, and to various current research topics within the field, including Kasparov's bivariant K-theory, the Baum-Connes conjecture, the comparison ...
Topological representation for implication algebras
(Birkhauser Verlag Ag, 2004-11)
In this paper we give a description of an implication algebra A as a union of a unique family of filters of a suitable Boolean algebra Bo(A), called the Boolean closure of A. From this representation we obtain a notion of ...
Topological representation for monadic implication algebras
(De Gruyter, 2009-01-17)
In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic ...
Localization of tetravalent modal algebras
(World Scientific, 2018-10)
The main aim of this paper is to define the localization of a tetravalent modal algebra (Formula presented.) with respect to a topology (Formula presented.) on (Formula presented.). In Sec. 5, we prove that the tetravalent ...