https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Constructive Semigroups with Apartness: Towards a New Algebraic Theory
Faculty of Mechanical Engineering, University of Nis, Serbia.
Mälardalen University, School of Education, Culture and Communication, Educational Sciences and Mathematics. (MAM)ORCID iD: 0000-0003-4554-6528
Department of Mathematics and Informatics, University of Novi Sad, Serbia.
International Mathematical Virtual Institute, Banja Luka, Republic of Srpska, Bosnia and Herzegovina.
2019 (English)In: Journal of Physics, Conference Series, ISSN 1742-6588, E-ISSN 1742-6596, Vol. 1194, no 1, p. 1-8, article id 012076Article in journal (Refereed) Published
Abstract [en]

The theory of constructive semigroups with apartness is a new approach tosemigroup theory, and not a new class of semigroups. Of course, our work is partly inspired byclassical semigroup theory, but, on the other hand, it is distinguished from it by two signicantaspects: rst, we use intuitionistic logic rather than classical, secondly, our work is based onthe notion of apartness (between elements, elements and sets). Here, the focus is on E. Bishop'sapproach to constructive mathematics (BISH)

Place, publisher, year, edition, pages
Institute of Physics Publishing (IOPP), 2019. Vol. 1194, no 1, p. 1-8, article id 012076
National Category
Algebra and Logic
Research subject
Mathematics/Applied Mathematics
Identifiers
URN: urn:nbn:se:mdh:diva-46718DOI: 10.1088/1742-6596/1194/1/012076ISI: 000537619600075Scopus ID: 2-s2.0-85065581359OAI: oai:DiVA.org:mdh-46718DiVA, id: diva2:1385946
Available from: 2020-01-16 Created: 2020-01-16 Last updated: 2020-10-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopushttps://iopscience.iop.org/article/10.1088/1742-6596/1194/1/012076

Search in DiVA

By author/editor
Silvestrov, Sergei
By organisation
Educational Sciences and Mathematics
In the same journal
Journal of Physics, Conference Series
Algebra and Logic

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 50 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf