Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness

DOI10.2298/FIL1919369RzbMath1499.03062OpenAlexW3011211560MaRDI QIDQ5864430

Daniel Abraham Romano

Publication date: 7 June 2022

Published in: Filomat (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2298/fil1919369r

zbMATH Keywords

Bishop's constructive mathematicsco-congruenceco-idealBCC-algebra with apartnessstrongly extensional homomorphism

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other constructive mathematics (03F65)

Cites Work

• Basic notions of (constructive) semigroups with apartness
• Constructivism in mathematics. An introduction. Volume II
• A course in constructive algebra
• Inverse semigroups with apartness
• Rings and Fields, a Constructive View
• On ideals and congruences in bcc-algebras
• Semigroups with apartness
• On axiom systems of propositional calculi, XIV
• Algebras inspired by logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Perception of BCC-algebras under the Bishops principled-philosophical orientation: BCC-algebra with apartness