Approximations and logic

Abstract

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. © University of Notre Dame. All rights reserved.