UP-algebra with apartness

DOI10.7251/JIMVI2101017RMaRDI QIDQ5865009zbMATH OpenFDO

Authors Daniel Abraham Romano

Publication date 10 June 2022

zbMATH Keywords

Bishop's constructive mathematicsUP-filterUP-idealUP-algebra with apartnessUP-cofilterUP-coideal

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Other algebras related to logic (03G25)

Recommendations

• A new branch of the logical algebra: UP-algebras
• On co-filters of implicative semigroups with apartness
• Some algebraic structures with apartness, a review
• A new co-filter in implicative semigroups with apartness
• Hilbert algebras in a non-classical framework: Hilbert algebras with apartness

Cited in

(2)

• Hilbert algebras in a non-classical framework: Hilbert algebras with apartness
• scientific article; zbMATH DE number 7070482 (Why is no real title available?)

This page was built for publication: UP-algebra with apartness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5865009)