AN INTRODUCTION TO IMPLICATIVE SEMIGROUPS WITH APARTNESS

DANIEL A. ROMANO
2016 Sarajevo Journal of Mathematics  
The setting of this research is Bishop's constructive mathematics. Following ideas of Chan and Shum, exposed in their famous paper "Homomorphisms of implicative semigroups", we discuss the structure of implicative semigroups on sets with tight apartness. Moreover, we use anti-orders instead of partial orders. We study concomitant issues induced by existence of apartness and anti-orders giving some specific characterizations of these semigroups. In addition, we introduce the notion of
more » ... otion of anti-filter in implicative semigroups and give some equivalent conditions that the inhabited real subset of an implicative semigroup is an ordered anti-filter. 2010 Mathematics Subject Classification. 03F65, 20M12, 06F05, 06A06, 06A12.
doi:10.5644/sjm.12.2.03 fatcat:txd4y5xcxvaobczwcxvy2xlp64