Melanija Mitrovic ; Mahouton Norbert Hounkonnou ; Marian Alexandru Baroni - Theory of constructive semigroups with apartness -- foundations, development and practice

fi:7301 - Fundamenta Informaticae, February 2, 2022, Volume 184, Issue 3
Theory of constructive semigroups with apartness -- foundations, development and practice

Authors: Melanija Mitrovic ; Mahouton Norbert Hounkonnou ; Marian Alexandru Baroni

    This paper has several purposes. We present through a critical review the results from already published papers on the constructive semigroup theory, and contribute to its further development by giving solutions to open problems. We also draw attention to its possible applications in other (constructive) mathematics disciplines, in computer science, social sciences, economics, etc. Another important goal of this paper is to provide a clear, understandable picture of constructive semigroups with apartness in Bishop's style both to (classical) algebraists and the ones who apply algebraic knowledge.


    Volume: Volume 184, Issue 3
    Published on: February 2, 2022
    Accepted on: January 13, 2022
    Submitted on: March 27, 2021
    Keywords: Mathematics - General Mathematics,(2010): 03F65, 20M99

    Share

    Consultation statistics

    This page has been seen 114 times.
    This article's PDF has been downloaded 150 times.