Results 131 to 140 of about 812 (177)
One Heresy and One Orthodoxy: On Dialetheism, Dimathematism, and the Non-normativity of Logic. [PDF]
ErkenntnisWansing H.
europepmc +1 more source
Ontological realism: A methodology for coordinated evolution of scientific ontologies. [PDF]
Appl Ontol, 2010 Smith B, Ceusters W.
europepmc +1 more source
Paraconsistent Orbits of Logics
Logica Universalis, 2021 The paper examines \textit{paraconsistentization by consistent sets} of logics viewed as consequence relations. In this sense, given a logic \( L=(X,\vdash _{L})\), the paraconsistentization of \(L\) by consistent sets is, \textit{grosso modo}, the result of restricting \(\vdash _{L}\) to pairs \( \left\langle \Gamma ,A\right\rangle \) where \(\Gamma \)
Alexandre Costa-Leite
exaly +5 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Negation and Paraconsistent Logics
Logica Universalis, 2011zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Soma Dutta +2 more
exaly +2 more sources
Bisimilarity for paraconsistent description logics
Journal of Intelligent & Fuzzy Systems, 2016We introduce comparisons w.r.t. information between interpretations in paraconsistent description logics and use them to define bisimilarity for such logics. This notion is useful for concept learning in description logics when inconsistencies occur. We give preservation results and the Hennessy-Milner property for comparisons w.r.t.
Linh Anh Nguyen +2 more
exaly +4 more sources
Journal of Philosophical Logic, 1995 \textit{G. Priest} [``The logic of paradox'', J. Philos. Logic 8, 219-241 (1979; Zbl 0402.03012)] presents a paraconsistent logic, that is, one which does not collapse into all statements being provable but in which nevertheless ``\(A\vee \neg A\)'' is logically true and ``\(A \wedge\neg A\)'' is logically false. But, argues Slater in the present paper,
Greg Restall
openaire +3 more sources
Paraconsistent Logics and Paraconsistency
, 2007 This chapter discusses paraconsistent logics (PL) and paraconsistency. PL are the logics of inconsistent but nontrivial theories. A deductive theory is paraconsistent if its underlying logic is paraconsistent.
Newton C.A. da Costa +2 more
openaire +2 more sources
Two-Layered Logics for Paraconsistent Probabilities
Lecture Notes in Computer Science, 2023 We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$ operator and the Belnap--Dunn ...
Marta Bilková +2 more
exaly +3 more sources