Search: WFRF:(Silvestrov S. D. 1970 )
> (2015-2019) >
Constructive Semigr...
-
Mitrovic, MelanijaFaculty of Mechanical Engineering, University of Nis, Serbia
(author)
Constructive Semigroups with Apartness : Towards a New Algebraic Theory
- Article/chapterEnglish2019
Publisher, publication year, extent ...
-
2019-04-24
-
Institute of Physics Publishing (IOPP),2019
-
printrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:mdh-46718
-
https://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-46718URI
-
https://doi.org/10.1088/1742-6596/1194/1/012076DOI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:art swepub-publicationtype
Notes
-
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)
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Silvestrov, Sergei,1970-Mälardalens högskola,Utbildningsvetenskap och Matematik,MAM(Swepub:mdh)ssv01
(author)
-
Crvenkovic, SDepartment of Mathematics and Informatics, University of Novi Sad, Serbia
(author)
-
Romano, D. A.International Mathematical Virtual Institute, Banja Luka, Republic of Srpska, Bosnia and Herzegovina
(author)
-
Faculty of Mechanical Engineering, University of Nis, SerbiaUtbildningsvetenskap och Matematik
(creator_code:org_t)
Related titles
-
In:Journal of Physics, Conference Series: Institute of Physics Publishing (IOPP)1194:1, s. 1-81742-65881742-6596
Internet link
Find in a library
To the university's database