scientific article; zbMATH DE number 7065709
From MaRDI portal
Publication:5379646
zbMath1424.03059MaRDI QIDQ5379646
Publication date: 13 June 2019
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive mathematicssemigroup with apartnessimplicative semigroupsanti-ordered semigroupshomomorphism of implicative semigroups with apartness
Ideal theory for semigroups (20M12) Ordered semigroups and monoids (06F05) Other constructive mathematics (03F65)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Techniques of constructive analysis
- Constructivism in mathematics. An introduction. Volume II
- Homomorphisms of implicative semigroups
- On ideals of implicative semigroups
- Some results on ordered filters of implicative semigroups
- Sequent calculus proof theory of intuitionistic apartness and order relations
- On ordered filters of implicative semigroups
- Constructively Complete Finite Sets
- An isomorphism theorem for anti-ordered sets
- EXTENDED SPECIAL SETS IN IMPLICATIVE SEMIGROUPS
- Strong Semilattices of Implicative Semigroups
- FUZZY SUB-IMPLICATIVE IDEALS OF BCI-ALGEBRAS
- Filters in Fuzzy Implicative Semigroups
- Implicative Semi-Lattices
- AN INTRODUCTION TO IMPLICATIVE SEMIGROUPS WITH APARTNESS
- Semigroups with apartness
- Pseudo-Residuals in Semigroups
This page was built for publication:
