scientific article; zbMATH DE number 7103390

zbMath1438.06002MaRDI QIDQ5233371

Daniel Abraham Romano

Publication date: 10 September 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

set with apartnessBishop's constructive mathematicscoequalityco-order and co-quasiorder relationsco-filter and co-ideal

Mathematics Subject Classification ID

Algebraic aspects of posets (06A11) Other constructive mathematics (03F65)

Related Items (3)

On co-Filters in Semigroups with Apartness ⋮ Co-quasiordered residuated systems: An introduction ⋮ Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness

This page was built for publication: