Basic notions of (constructive) semigroups with apartness | SpringerLink Skip to main content
Advertisement SpringerLink Log in Menu Find a journal Publish with us Search Cart 1.Home …

The logical environment of this text is the Intuitionistic Logic-a logic without the principle
of'Tertium non datur'and the principledphilosophical orientation of the Bishop's constructive …

The notion of semigroups with apartness has been introduced recently as a constructive
counterpart of classical semigroups. On such structures, a constructive analogue of the …

In this paper, basing our consideration on the sets with the apartness relation, we analyze
characteristics of some special relations to these sets such as co-order and co-quasiorder …

We give a constructive treatment of some basic concepts and results in semigroup theory.
Focusing on semigroups equipped with an apartness relation, we give analogues, from the …

As a generalization of a semigroup, Sen, in 1981, introduced the concept of Γ-semigroups.
In this paper we analyze the concept of Γ-semigroups with apartness. The logical setting of …

The logical environment of this research is the Intuitionistic Logic and principled-
philosophical orientation of the Bishop's Constructive Mathematics. In this paper, basing our …

As a generalization of a semigroup, Sen, in 1981, introduced the concept of Γ-semigroups.
In our paper (DA Romano, Γ-semigroups with apartness. Bull. Allahabad Math. Soc., 34 …

The setting of this research is Bishop's constructive mathematics. Following ideas of Chan
and Shum, exposed in their famous paper “Homomorphisms of implicative semigroups”, we …

The setting of this article is Bishop's constructive mathematics. The connections between the
strong mappings, U-mappings and L-mappings of co-quasiorder relational systems we …