The notions of (implicative) soju filters in a hoop algebra are introduced, and related properties are investigated. Relations between a soju sub-hoop, a soju filter and an implicative soju filter are discussed. Conditions for a soju filter to be implicative are displayed, and characterizations of an implicative soju filters are considered. The extension property of an implicative soju filter is established.
In this paper, the notions of (para, quasi, semi) topological MV-algebras are defined and their related properties are studied. Also, topologies with which an MV-algebra can be a (para, semi) topological MV-algebra are obtained. Clearly, a topological MV-algebra is a (para, quasi, semi) topological MV-algebra, but the converse is not true, as shown by an example. In addition, we study ideals and filters...
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.