Results 111 to 120 of about 2,394 (173)
One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic. [PDF]
ErkenntnisWansing H.
europepmc +1 more source
An epistemic approach to paraconsistency: a logic of evidence and truth
Synthese, 2019 W. Carnielli, A. Rodrigues
semanticscholar +1 more source
Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant [PDF]
, 2017 Schlichtkrull, Anders +1 more
core +1 more source
Paraconsistent Description of Change
, 1999 Summary: The aim of this paper is to present a description of change in the framework of tense logic. After considering some examples of using the intervals, we present the main principles of the logic of inconsistent reasoning. Then we build a tense interval paraconsistent semantics and discuss some of its possible applications.
openaire +2 more sources
COVID-19 activity screening by a smart-data-driven multi-band voice analysis. [PDF]
J VoiceSilva G, Batista P, Rodrigues PM.
europepmc +1 more source
Logic, reasoning and rationality, 20–22 September [PDF]
, 2010 Beirlaen, Mathieu +3 more
core +1 more source
Graham Priest on Dialetheism and Paraconsistency
Outstanding Contributions to Logic, 2019 Can Başkent, T. M. Ferguson
semanticscholar +1 more source
Gödel's theorem and paraconsistency
Seminário Lógica no Avião, 2019 G. Priest
semanticscholar +1 more source