UP-algebra with apartness

DOI10.7251/JIMVI2101017RzbMATH Open1499.03063MaRDI QIDQ5865009FDOQ5865009

Authors: Daniel Abraham Romano 

Publication date: 10 June 2022

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

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)

Cited In (2)

• Title not available (Why is that?)
• Hilbert algebras in a non-classical framework: Hilbert algebras with apartness

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)