 |
Encyclopedia: Paraconsistent logic Source:Wikipedia
A
paraconsistent logic
is a
logical system
that attempts to deal with
contradictions
in a discriminating way. Alternatively,
paraconsistent logic
is the subfield of
logic
that is concerned with studying and developing paraconsistent (or "inconsistency-tolerant") systems of logic
...
More »
|
|
53k - 8 sec @ 56k
|
Paraconsistent Logic (Stanford Encyclopedia of Philosophy) |
The development of paraconsistent logic was initiated in order to challenge the logical principle that anything follows from contradictory premises, ex contradictione quodlibet. By Koji Tanaka, from ...
plato.stanford.edu/entries/logic-paraconsistent/
plato.stanford.edu/entries/logic-paraconsistent/
A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or "inconsistency-tolerant") systems of logic.
en.wikipedia.org/wiki/Paraconsistent_logic
en.wikipedia.org/wiki/Paraconsistent_logic
|
27k - 4 sec @ 56k
|
Aspects of paraconsistent logic - CiteSeerX |
@ARTICLE{Costa95aspectsof, author = {Newton C. A. Da Costa and Jean-yves B}, title = {Aspects of paraconsistent logic}, journal = {Bulletin of the IGPL}, year = {1995}, ...
|
27k - 4 sec @ 56k
|
A Multiple Worlds Semantics to a Paraconsistent Nonmonotonic Logic ... |
A Multiple Worlds Semantics to a Paraconsistent Nonmonotonic Logic (Make Corrections) Ana Teresa Martins, Marcelino Pequeno, Tarcisio Pequeno Home/Search Context Related View or ...
citeseer.ist.psu.edu/620206.html
|
14k - 2 sec @ 56k
|
Paraconsistent Computational Logic 2002 |
Hendrik Decker, Jørgen Villadsen, Toshiharu Waragai (Eds.): Paraconsistent Computational Logic, This proceedings volume contains the papers presented at the ICLP 2002 workshop Paraconsistent ...
dblp.uni-trier.de/db/conf/pcl/pcl2002.html
@article{Baaz86NDJFL, journal = {Notre Dame Journal of Formal Logic}, volume = {27}, title = {{Kripke}-Type Semantics for {Da} {Costa}'s Paraconsistent Logic {$C_{\omega}$}}, author = {Baaz, M.}, ...
www.logic.at/dmgfg2-pub/entry-Baaz86NDJFL.html
www.logic.at/dmgfg2-pub/entry-Baaz86NDJFL.html
A paraconsistent logic is one in which inconsistent assertions can be tolerated in that unrelated assertions can be handled in a reliable fashion.
www.everything2.com/?node_id=1272179
|
26k - 4 sec @ 56k
|
WoPaLo - Workshop on Paraconsistent Logic - ESSLLI 2002 |
Workshop in Paraconsistent Logic, part of the 14th European Summer School in Logic, Language and Information. Trento, Italy; 5--9 August 2002.
logica.rug.ac.be/WoPaLo/
logica.rug.ac.be/WoPaLo/
In classical logic, if p is true then ¬p must be false, but in this paraconsistent scheme the truth of falsehood of p has no bearing on the truth or falsehood of ¬p. Cases in which both p and ¬p ...
www.bigi.org.uk/2007/11/19/literary-inconsistency-and-p...
www.bigi.org.uk/2007/11/19/literary-inconsistency-and-paraconsistent-logic/
Workshop on Paraconsistent Logic ... Proceedings of the Workshop on Paraconsistent Logic (WoPaLo)
www.cle.unicamp.br/e-prints/abstract_16.html