Editing Paraconsistent logic (section)

==External links==
* {{cite IEP |url-id=para-log |title=Paraconsistent Logic}}
* {{cite SEP |url-id=logic-paraconsistent |title=Paraconsistent Logic}}
* {{cite SEP |url-id=mathematics-inconsistent |title=Inconsistent Mathematics}}
* [http://www.paraconsistency.org "World Congress on Paraconsistency, Ghent 1997, Juquehy 2000, Toulouse, 2003, Melbourne 2008, Kolkata, 2014"]
* [https://arxiv.org/abs/0805.1481/ Paraconsistent First-Order Logic with infinite hierarchy levels of contradiction LP#. Axiomatical system HST#, as paraconsistent generalization of Hrbacek set theory HST]
* O. Arieli, A. Avron, A. Zamansky, [https://www.cs.tau.ac.il/~aa/articles/ideal.pdf "Ideal Paraconsistent Logics"]

{{Non-classical logic}}

{{Authority control}}

[[Category:Belief revision]]
[[Category:Non-classical logic]]
[[Category:Paraconsistent logic| ]]
[[Category:Philosophical logic]]
[[Category:Systems of formal logic]]