Approximations and logic.
Jean‐Pierre Marquis · Notre Dame Journal of Formal Logic · 1992
Scientists work with approximations almost all the time and have to reason with these approximations.Therefore, it is very natural to wonder if approximations influence logical deduction and if so, how.Our goal in this paper is to present a class of lattices which captures some intuitions concerning propositions expressing numerical approximations and consider how they relate to classical logic.