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)

Ä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)