Note on paraconsistency and reasoning about fractions

arxiv: 1410.8692 · v2 · pith:QFNYIPZMnew · submitted 2014-10-31 · 💻 cs.LO · math.LO

Jan A. Bergstra , Inge Bethke This is my paper

classification 💻 cs.LO math.LO

keywords fractionsapplylogicnoteparaconsistencyparaconsistentreasonreasoning

0 comments

read the original abstract

We apply a paraconsistent logic to reason about fractions.

This paper has not been read by Pith yet.