Fwd: [isabelle] new AFP entry: Paraconsistency

[Alexandre Rademaker]

Alguns da lista podem se interessar.

[]s

--

Alexandre Rademaker

http://arademaker.github.io

http://researcher.ibm.com/person/br-alexrad

Begin forwarded message:

From: <Gerwin...@data61.csiro.au>

Subject: [isabelle] new AFP entry: Paraconsistency

Date: 8 December 2016 04:50:15 GMT-2

To: <isabell...@cl.cam.ac.uk>

Paraconsistency
by Anders Schlichtkrull and Jørgen Villadsen

 Paraconsistency is about handling inconsistency in a coherent way. In
 classical and intuitionistic logic everything follows from an
 inconsistent theory. A paraconsistent logic avoids the explosion.
 Quite a few applications in computer science and engineering are
 discussed in the Intelligent Systems Reference Library Volume 110:
 Towards Paraconsistent Engineering (Springer 2016). We formalize a
 paraconsistent many-valued logic that we motivated and described in a
 special issue on logical approaches to paraconsistency (Journal of
 Applied Non-Classical Logics 2005). We limit ourselves to the
 propositional fragment of the higher-order logic. The logic is based
 on so-called key equalities and has a countably infinite number of
 truth values. We prove theorems in the logic using the definition of
 validity. We verify truth tables and also counterexamples for
 non-theorems. We prove meta-theorems about the logic and finally we
 investigate a case study.

https://www.isa-afp.org/entries/Paraconsistency.shtml

Enjoy!
Gerwin