Results 91 to 100 of about 1,037 (173)
Most, perhaps all, non-classical logics are a blend of classical logic with extralogical elements. Possibly this thesis has no general proof, and only a casuistic argument can be provided.
Frank Thomas Sautter
doaj
A survey of paraconsistent logics
A survey of paraconsistent logics that are prominent representatives of the different approaches that have been followed to develop paraconsistent logics is provided. The paraconsistent logics that will be discussed are an enrichment of Priest's logic LP, the logic RM3 from the school of relevance logic, da Costa's logics Cn, Jaskowski's logic D2, and ...
openaire +2 more sources
Paraconsistency of Interactive Computation
The goal of computational logic is to allow us to model computation as well as to reason about it. We argue that a computational logic must be able to model interactive computation.
Dina Goldin, Peter Wegner
core
Philosophical Interpretations Matter
In recent years, there has been an increasing debate about some philosophical aspects of paraconsistent logics. The focus of this controversy has been on whether the notion of philosophical interpretation of a logic is separable or independent from the ...
Eduardo Alejandro Barrio +2 more
doaj +1 more source
Remarks on the applications of paraconsistent logic to physics [PDF]
In this paper we make some general remarks on the use of non-classical logics, in particular paraconsistent logic, in the foundational analysis of physical theories.
Krause, Décio, da Costa, Newton C. A.
core
Woods, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences, John ...
Krabbe, Erik C. W.
core +1 more source
The logic of complementarity [PDF]
This paper is the sequel of a previous one where we have introduced a paraconsistent logic termed paraclassical logic to deal with 'complementary propositions'.
Krause, Décio, C. A. da Costa, Newton
core
Epistemological and Ontological Paraconsistency in Quantum Mechanics: For and Against Bohrian Philosophy. [PDF]
We interpret the philosophy of Niels Bohr as related to the so called ''linguistic turn'' and consider paraconsistency in the light of the Bohrian notion of complementarity.
de Ronde, Christian
core
Minimally inconsistent reasoning in Semantic Web. [PDF]
Zhang X.
europepmc +1 more source

