Basic notions of (constructive) semigroups with apartness
From MaRDI portal
Publication:309964
DOI10.1007/S00233-016-9776-YzbMATH Open1402.03096OpenAlexW2276288049MaRDI QIDQ309964FDOQ309964
Siniša Crvenković, Melanija Mitrović, Daniel Abraham Romano
Publication date: 7 September 2016
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00233-016-9776-y
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Constructivism in mathematics. An introduction. Volume I
- Intuitionism. An introduction
- Techniques of constructive analysis
- A course in constructive algebra
- Apartness and Uniformity
- Constructive Mathematics in Theory and Programming Practice
- Classical finite transformation semigroups. An introduction.
- A constructive version of the spectral mapping theorem
- PRIME AND MAXIMAL IDEALS IN CONSTRUCTIVE RING THEORY
- Quasi-orders, Generalized Archimedeaness and Semilattice Decompositions
- Semigroups with apartness
Cited In (5)
- Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
- Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness
- Co-quasiordered residuated systems: An introduction
- On co-Filters in Semigroups with Apartness
- Inverse semigroups with apartness
This page was built for publication: Basic notions of (constructive) semigroups with apartness
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q309964)