Automated Support for the Investigation of Paraconsistent and Other Logics
نویسندگان
چکیده
We automate the construction of analytic sequent calculi and effective semantics for a large class of logics formulated as Hilbert calculi. Our method applies to infinitely many logics, which include the family of paraconsistent C-systems, as well as to other logics for which neither analytic calculi nor suitable semantics have so far been available.
منابع مشابه
Tools for the Investigation of Substructural, Intermediate and Paraconsistent Logics
Non-classical logics have gained importance in many fields of computer science, engineering and philosophy. They are often employed in applications of artificial intelligence, knowledge representation and formal verification; e.g., when it comes to reasoning in presence of vague information or inconsistencies. There are already many non-classical logics and, due to the increasing demand for suc...
متن کاملA Paraconsistent Higher Order Logic
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order ...
متن کاملar X iv : c s / 02 07 08 8 v 1 [ cs . L O ] 2 5 Ju l 2 00 2 A Paraconsistent Higher Order Logic ⋆
Classical logic predicts that everything (thus nothing useful at all) follows from inconsistency. A paraconsistent logic is a logic where an inconsistency does not lead to such an explosion, and since in practice consistency is difficult to achieve there are many potential applications of paraconsistent logics in knowledge-based systems, logical semantics of natural language, etc. Higher order ...
متن کاملTools for the Investigation of Substructural and Paraconsistent Logics
We present an overview of the methods in [10,7,13] and their implementation in the system TINC. This system introduces analytic calculi for large classes of substructural and paraconsistent logics, which it then uses to prove various results about the formalized logics.
متن کاملModeling Paraconsistent Knowledge in Distributed Systems
This paper presents some ideas on using paraconsistent logics to represent and to reason about knowledge in distributed systems. Since one our main research areas is related to robotics and manufacturing systems, we focus our attention on logics and problems relevant to this area. We review the fundamental concepts deening paraconsistency and overcompleteness in non-classical logics and how the...
متن کامل