Constructive Semigroups with Apartness: Towards a New Algebraic Theory

Mitrovic, MelanijaFaculty of Mechanical Engineering, University of Nis, Serbia (author)

Constructive Semigroups with Apartness : Towards a New Algebraic Theory

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)

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)

In:Journal of Physics, Conference Series: Institute of Physics Publishing (IOPP)1194:1, s. 1-81742-65881742-6596

By the author/editor: Mitrovic, Melani ...; Silvestrov, Serg ...; Crvenkovic, S; Romano, D. A.

About the subject

NATURAL SCIENCES: NATURAL SCIENCES; and Mathematics; and Algebra and Logi ...

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.