Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/354
Title: | Constructive Semigroups with Apartness: Towards a New Algebraic Theory | Authors: | Mitrović, Milena Silvestrov S. Lozanov-Crvenković, Zagorka Romano D. |
Issue Date: | 24-Apr-2019 | Journal: | Journal of Physics: Conference Series | Abstract: | © 2019 Published under licence by IOP Publishing Ltd. The theory of constructive semigroups with apartness is a new approach to semigroup theory, and not a new class of semigroups. Of course, our work is partly inspired by classical semigroup theory, but, on the other hand, it is distinguished from it by two significant aspects: first, we use intuitionistic logic rather than classical, secondly, our work is based on the notion of apartness (between elements, elements and sets). Here, the focus is on E. Bishop's approach to constructive mathematics (BISH), [4]. | URI: | https://open.uns.ac.rs/handle/123456789/354 | ISSN: | 17426588 | DOI: | 10.1088/1742-6596/1194/1/012076 |
Appears in Collections: | PMF Publikacije/Publications |
Show full item record
SCOPUSTM
Citations
1
checked on May 3, 2024
Page view(s)
19
Last Week
2
2
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.