ON CO-FILTERS OF IMPLICATIVE SEMIGROUPS WITH APARTNESS

Abstract

The setting of this research is the Bishop’s constructive mathematics a mathematics based on the Intuitionistic Logic and principled-philosophical orientation of Bishop’s mathematics. Implicative semigroups with apartness introduced and analyzed by this author in his two recently published articles. In this paper, as a continuation of the research [26, 27], a description of co-filters was made in an implicative semigroup with apartness using one class of special subsets of such semi-group. 2010 Mathematics Subject Classification: 03F65, 20M12, 06F05, 06A06, 06A12.