Note on paraconsistency and reasoning about fractions

Por • 13 oct, 2018 • Sección: Educacion

Jan A. Bergstra, Inge Bethke

We apply a paraconsistent logic to reason about fractions.

arXiv:1410.8692v2 [cs.LO]

Logic in Computer Science (cs.LO); Logic (math.LO)

Post to Twitter

Escribe un comentario