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 …

Partially ordered semigroups with apartness under an antiorder are investigated from the
point of view of Bishop's constructive mathematics. We analyze quasi-antiorder relations on …

In this paper we show some kind of isomorphism theorem for ordered sets under antiorders.
Let (𝑋,= 𝑥,≠ 𝑥, 𝛼) and (𝑌,= 𝑦,≠ 𝑦, 𝛽) be ordered sets under antiorders, where the …

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 …

Working constructively, we study continuous directed complete posets (dcpos) and the Scott
topology. Our two primary novelties are a notion of intrinsic apartness and a notion of sharp …

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

The setting of this research is the Bishop's constructive mathematics-a mathematics based
on the Intuitionistic Logic and principled-philosophical orientation of Bishop's mathematics …

The setting of this research is the Bishop's constructive mathematics-a mathematics based
on the Intuitionistic Logic and the principled-philosophical constructive orientation …

Partially ordered sets are investigated from the point of view of Bishop's constructive
mathematics. Unlike the classical case, one cannot prove constructively that every nonempty …

This paper extends the axiomatic treatment of intuitionistic mereology introduced in
Maffezioli and Varzi (Synthese, 198 (S18), 4277–4302) by examining the behavior of …