Results 101 to 110 of about 5,275 (212)

Logics and admissible rules of constructive set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source

On Partial and Paraconsistent Logics

Notre Dame Journal of Formal Logic, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +4 more sources

An Easy Road to Multi-contra-classicality. [PDF]

Erkenntnis, 2021
Estrada-González L.
europepmc   +1 more source

Argumentation-Based Paraconsistent Logics [PDF]

, 2014
Argumentation is a promising approach for reasoning with inconsistent information. Starting from a knowledge base encoded in a logical language, an argumentation system defines arguments and attacks between them using the consequence operator associated with the language. Finally, it uses a semantics for evaluating the arguments.
openaire   +1 more source

Paraconsistent Labeling Semantics for Abstract Argumentation

Mathematics
Dung’s abstract argumentation framework is a popular formalism in formal argumentation. The present work develops paraconsistent labeling semantics for abstract argumentation such that the incomplete and inconsistent information can be expressed, and it ...
Yuanlei Lin
doaj   +1 more source

Improving the efficiency of using multivalued logic tools. [PDF]

Sci Rep, 2023
Suleimenov IE, Vitulyova YS, Kabdushev SB, Bakirov AS.   +3 more
europepmc   +1 more source

Distance-based paraconsistent logics

International Journal of Approximate Reasoning, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Human verifications: Computable with truth values outside logic. [PDF]

Proc Natl Acad Sci U S A, 2023
Johnson-Laird PN, Byrne RMJ, Khemlani SS.   +2 more
europepmc   +1 more source

Some Remarks about Going Towards Inconsistencies

Principia: An International Journal of Epistemology
Inconsistencies! What do they mean? Can we support them? With this paper, we hope to contribute to the claim that we can tolerate inconsistencies in certain situations even without considering any logic that may enable us to do that, say some ...
Décio Krause
doaj   +1 more source

An Epistemic Interpretation of Paraconsistent Weak Kleene Logic [PDF]

This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later ...
Szmuc, Damian E.
core