Open Access

ARTICLE

Reliable Approximated Number System with Exact Bounds and Three-Valued Logic

Reeseo Cha¹, Wonhong Nam^2,*, Jin-Young Choi¹

1 Department of Computer Science and Engineering, Korea university, 145 Anam-ro, Seongbuk-gu, Seoul 02841, Korea
E-mail: reeseo@korea.ac.kr, choi@formal.korea.ac.kr
2 Department of Software, Konkuk university, 120 Neungdong-ro, Gwangjin-gu, Seoul 05029, Korea

* Corresponding Author: E-mail: