ON CO-FILTERS OF IMPLICATIVE SEMIGROUPS WITH APARTNESS
From MaRDI portal
Publication:4989775
DOI10.17114/j.aua.2019.59.04zbMath1474.03148MaRDI QIDQ4989775
Publication date: 26 May 2021
Published in: Acta Universitatis Apulensis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.17114/j.aua.2019.59.04
constructive mathematics; semigroup with apartness; co-filter; co-ordered semigroups; implicative semigroups with apartness
20M12: Ideal theory for semigroups
06F05: Ordered semigroups and monoids
03F65: Other constructive mathematics