Turkish Journal of Mathematics and Computer Science
1-7
Bishop’s constructive algebra, Intuitionistic logic, $\Gamma$-semigroup with apartness, Ordered $\Gamma$-semigroup under co-order, Co-congruence in $\Gamma$-semigroup, Semillatice co-congruence