Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/354
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Mitrović, Milena | en |
dc.contributor.author | Silvestrov S. | en |
dc.contributor.author | Lozanov-Crvenković, Zagorka | en |
dc.contributor.author | Romano D. | en |
dc.date.accessioned | 2019-09-23T10:06:34Z | - |
dc.date.available | 2019-09-23T10:06:34Z | - |
dc.date.issued | 2019-04-24 | en |
dc.identifier.issn | 17426588 | en |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/354 | - |
dc.description.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]. | en |
dc.relation.ispartof | Journal of Physics: Conference Series | en |
dc.title | Constructive Semigroups with Apartness: Towards a New Algebraic Theory | en |
dc.type | Conference Paper | en |
dc.identifier.doi | 10.1088/1742-6596/1194/1/012076 | en |
dc.identifier.scopus | 2-s2.0-85065581359 | en |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/85065581359 | en |
dc.relation.issue | 1 | en |
dc.relation.volume | 1194 | en |
item.fulltext | No Fulltext | - |
item.grantfulltext | none | - |
crisitem.author.dept | Medicinski fakultet, Katedra za internu medicinu | - |
crisitem.author.dept | Prirodno-matematički fakultet, Departman za matematiku i informatiku | - |
crisitem.author.orcid | 0000-0002-6188-2348 | - |
crisitem.author.parentorg | Medicinski fakultet | - |
crisitem.author.parentorg | Prirodno-matematički fakultet | - |
Appears in Collections: | PMF Publikacije/Publications |
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.