Sökning: onr:"swepub:oai:DiVA.org:mdh-46718" >
Constructive Semigr...
Constructive Semigroups with Apartness : Towards a New Algebraic Theory
-
- Mitrovic, Melanija (författare)
- Faculty of Mechanical Engineering, University of Nis, Serbia
-
- Silvestrov, Sergei, 1970- (författare)
- Mälardalens högskola,Utbildningsvetenskap och Matematik,MAM
-
- Crvenkovic, S (författare)
- Department of Mathematics and Informatics, University of Novi Sad, Serbia
-
visa fler...
-
- Romano, D. A. (författare)
- International Mathematical Virtual Institute, Banja Luka, Republic of Srpska, Bosnia and Herzegovina
-
visa färre...
-
(creator_code:org_t)
- 2019-04-24
- 2019
- Engelska.
-
Ingår i: Journal of Physics, Conference Series. - : Institute of Physics Publishing (IOPP). - 1742-6588 .- 1742-6596. ; 1194:1, s. 1-8
- Relaterad länk:
-
https://doi.org/10.1...
-
visa fler...
-
https://iopscience.i...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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)
Ämnesord
- NATURVETENSKAP -- Matematik -- Algebra och logik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Algebra and Logic (hsv//eng)
Nyckelord
- Mathematics/Applied Mathematics
- matematik/tillämpad matematik
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas