scientific article; zbMATH DE number 7370266

MaRDI QIDQ4998595zbMATH OpenFDO

Authors Daniel Abraham Romano

Publication date 8 July 2021

zbMATH Keywords

Bishop's constructive mathematicsco-congruences on implicative semigroup with apartnessco-ideals and co-filtersco-ordered semigroupsimplicative semigroups with apartnesssemigroup with apartness

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Ordered semigroups and monoids (06F05) Ideal theory for semigroups (20M12)

Cited in

(1)

• scientific article; zbMATH DE number 7540049 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4998595)