Results 91 to 100 of about 812 (177)
Partial and paraconsistent three-valued logics [PDF]
, 2016 On the sidelines of classical logic, many partial and paraconsistent three-valued logics have been developed. Most of them differ in the notion of logical consequence or in the definition of logical connectives.
Degauquier, Vincent
core +1 more source
Human verifications: Computable with truth values outside logic. [PDF]
Proc Natl Acad Sci U S A, 2023 Johnson-Laird PN +2 more
europepmc +1 more source
Relevant Logic and Paraconsistency
, 2005 This is an account of the approach to paraconsistency associated with relevant logic. The logic fde of first degree entailments is shown to arise naturally out of the deeper concerns of relevant logic. The relationship between relevant logic and resolution, and especially the disjunctive syllogism, is then examined.
openaire +1 more source
An Easy Road to Multi-contra-classicality. [PDF]
Erkenntnis, 2021 Estrada-González L.
europepmc +1 more source
Predicate Annotated Logics Q tau
, 2015 This chapter studies the predicate annotated logics Q tau, which can be seen as a predicate extension of P tau. Their axiomatization and semantics are considered.
Nakamatsu, Kazumi +5 more
core +1 more source
Improving the efficiency of using multivalued logic tools. [PDF]
Sci Rep, 2023 Suleimenov IE +3 more
europepmc +1 more source
A Strong Model of Paraconsistent Logic
Notre Dame Journal of Formal Logic, 2003 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +4 more sources
Principia: An International Journal of Epistemology, 2002 In view of the present state of development of non classical logic, especially of paraconsistent logic, a new stand regarding the relations between logic and ontology is defended In a parody of a dictum of Quine, my stand May be summarized as follows. To
Newton C. A. da Costa
doaj
On Partial and Paraconsistent Logics ∗
, 2008 In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both.
Reinhard Muskens
core
Combining Paraconsistent Logic with Argumentation
, 2014 One tradition in the logical study of argumentation is to allow for arguments that combine strict and defeasible inference rules, and to derive the strict inference rules from a logic at least as strong as classical logic. An unsolved problem in this tradition is how the trivialising effect of the classical Ex Falso principle can be avoided when two ...
Grooters, Diana, Prakken, Hendrik
openaire +2 more sources