Mathematical Research Data Initiative
Main page
Recent changes
Random page
SPARQL
MaRDI@GitHub
New item
Special pages
In other projects
MaRDI portal item
Discussion
View source
View history
English
Log in

UP-algebra with apartness

From MaRDI portal
Publication:5865009
Jump to:navigation, search

DOI10.7251/JIMVI2101017RzbMATH Open1499.03063MaRDI QIDQ5865009FDOQ5865009


Authors: Daniel Abraham Romano Edit this on Wikidata


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)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5865009&oldid=30716143"
Tools
What links here
Related changes
Printable version
Permanent link
Page information
This page was last edited on 7 March 2024, at 05:50. Warning: Page may not contain recent updates.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki