Results 151 to 160 of about 2,394 (173)
Some of the next articles are maybe not open access.
Foundations of Paraconsistent Resolution
Fundamenta Informaticae, 2006An extended first-order predicate sequent calculus PLK with two kinds of negation is introduced as a basis of a new resolution calculus PRC (paraconsistent resolution calculus) for handling the property of paraconsistency. Herbrand theorem, completeness theorem (with respect to a classical-like semantics) and cut-elimination theorem are proved for PLK.
openaire +2 more sources
2016
In this chapter, we briefly review paraconsistent logics which are closely related to the topics in this book. We give an exposition of their history and formal aspects. We also address the importance of applications of paraconsistent logics to engineering.
Seiki Akama, Newton C. A. da Costa
openaire +1 more source
In this chapter, we briefly review paraconsistent logics which are closely related to the topics in this book. We give an exposition of their history and formal aspects. We also address the importance of applications of paraconsistent logics to engineering.
Seiki Akama, Newton C. A. da Costa
openaire +1 more source
Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa
Studia Logica: An International Journal for Symbolic LogicAbilio Rodrigues +2 more
semanticscholar +1 more source
The Dynamics of Imperfect Reasoning: Change, Paraconsistency and Knowledge
Logica UniversalisRafael Ongaratto
semanticscholar +1 more source
On the Paraconsistency of Argumentation Logic
Logica UniversalisA. Kakas
semanticscholar +1 more source
The evidence approach to paraconsistency versus the paraconsistent approach to evidence
Synthese, 2020J. Arenhart
semanticscholar +1 more source
Paraconsistency for the Working Software Engineer (Extended Abstract)
IEEE International Conference on Software Engineering and Formal MethodsLuís Soares Barbosa
semanticscholar +1 more source