Strongly extensional homomorphism of implicative semigroups with apartness

MaRDI QIDQ5379646zbMATH OpenFDO

Authors Daniel Abraham Romano

Publication date 13 June 2019

zbMATH Keywords

anti-ordered semigroupsconstructive mathematicshomomorphism of implicative semigroups with apartnessimplicative semigroupssemigroup with apartness

Mathematics Subject Classification ID

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

Recommendations

• An introduction to implicative semigroups with apartness
• On co-filters of implicative semigroups with apartness
• A new co-filter in implicative semigroups with apartness
• On co-filters in semigroups with apartness
• scientific article; zbMATH DE number 6889820

Cites work

• A note on the quasi-antiorder in a semigroup
• An introduction to implicative semigroups with apartness
• An isomorphism theorem for anti-ordered sets
• Constructively Complete Finite Sets
• Constructivism in mathematics. An introduction. Volume II
• EXTENDED SPECIAL SETS IN IMPLICATIVE SEMIGROUPS
• Filters in Fuzzy Implicative Semigroups
• FUZZY SUB-IMPLICATIVE IDEALS OF BCI-ALGEBRAS
• Homomorphisms of implicative semigroups
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3702742 (Why is no real title available?)
• scientific article; zbMATH DE number 1795225 (Why is no real title available?)
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Implicative Semi-Lattices
• On ideals of implicative semigroups
• On ordered filters of implicative semigroups
• On quasi-antiorder in semigroups
• On semillatice-ordered semigroups. A constructive point of view
• Pseudo-Residuals in Semigroups
• Semigroups with apartness
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Some results on ordered filters of implicative semigroups
• Strong Semilattices of Implicative Semigroups
• Techniques of constructive analysis

Cited in

(5)

• EXTENDED SPECIAL SETS IN IMPLICATIVE SEMIGROUPS
• On co-filters of implicative semigroups with apartness
• An introduction to implicative semigroups with apartness
• scientific article; zbMATH DE number 7540049 (Why is no real title available?)
• The first isomorphism theorem of implicative semigroup with apartness

This page was built for publication: Strongly extensional homomorphism of implicative semigroups with apartness

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