The first isomorphism theorem of implicative semigroup with apartness

DOI10.17114/J.AUA.2020.65.04MaRDI QIDQ5876671zbMATH OpenFDO

Authors Daniel Abraham Romano

Publication date 1 February 2023

Full work available at URL https://doi.org/10.17114/J.AUA.2020.65.04

zbMATH Keywords

Bishop's constructive algebraco-congruence on implicative semigroup with apartnessimplicative semigroup with apartnessisomorphism theoremquotient structures

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 7540049
• A new co-filter in implicative semigroups with apartness
• Inverse semigroups with apartness
• Strongly extensional homomorphism of implicative semigroups with apartness
• Semigroups with apartness

Cited in

(1)

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

This page was built for publication: The first isomorphism theorem of implicative semigroup with apartness

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