Approximations and logic.
نویسندگان
چکیده
منابع مشابه
Approximations and Logic
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 log...
متن کاملApproximations of Modal Logic K
Inspired by the recent work on approximating classical logic, we present a procedure that approximates the modal logic K by determining a maximum limit of introspection. This procedure has a clear semantics and a natural proof theory in the context of Massacci’s modal Single Step Tableaux (SST).
متن کاملAnytime Approximations of Classical Logic from Above
In this article we present s1, a family of logics that is useful to disprove propositional formulas by means of an anytime approximation process. The systems follows the paradigm of a parameterized family of logics established by Schaerf’s and Cadoli’s system S1. We show that s1 inherits several of the nice properties of S1, while presenting several attractive new properties. The family s1 deal...
متن کاملOn Successive Approximations To The Choice Problem and Logic
This paper studies the formation of logical operations from pre-logical processes. We are concerned with the reasons for certain mental processes taking form of logical reasoning and the underlying drives for consolidation of logical operations in human mind. Starting from Piaget’s approach to Logic (Piaget, 1956) we discuss whether the evolutionary adaptation can be such a driving force and wh...
متن کاملFast and Precise Regular Approximations of Logic Programs
A practical procedure for computing a regular approximation of a logic program is given. Regular approximations are useful in a variety of tasks in debugging, program specialisation and compile-time optimisation. The algorithm shown here incorporates optimisations taken from deductive database fixpoint algorithms and efficient bottom-up abstract interpretation techniques. Frameworks for definin...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1992
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093636095