Results 121 to 130 of about 812 (177)

Paracomplete logics which are dual to the paraconsistent logics L3A and L3B

, 2020
In 2016 Beziau, introduce a more restricted concept of paraconsistency, namely the genuine paraconsistency. He calls genuine paraconsistent logic those logic rejecting φ, ¬φ |- ψ and |- ¬(φ ∧ ¬φ).
Hernández-Tello, Alejandro, E. Coniglio, Marcelo, Borja-Macı́as, Verónica   +2 more
core  

A basic system of paraconsistent Nelsonian logic of conditionals. [PDF]

J Logic Lang Inf
Olkhovikov GK.
europepmc   +1 more source

Minimally inconsistent reasoning in Semantic Web. [PDF]

PLoS One, 2017
Zhang X.
europepmc   +1 more source

Connexive Exclusion. [PDF]

Erkenntnis
Shramko Y, Wansing H.
europepmc   +1 more source

On Logical and Scientific Strength. [PDF]

Erkenntnis
Incurvati L, Nicolai C.
europepmc   +1 more source

Reasoning about possibilities: Modal logics, possible worlds, and mental models. [PDF]

Psychon Bull Rev
Johnson-Laird PN, Ragni M.
europepmc   +1 more source

Simple Hyperintensional Belief Revision. [PDF]

Erkenntnis, 2019
Berto F.
europepmc   +1 more source

Rough sets: past, present, and future. [PDF]

Nat Comput, 2018
Skowron A, Dutta S.
europepmc   +1 more source

Paraconsistent Rule-Based Reasoning with Graded Truth Values

, 2018
Modern artificial systems, such as cooperative traffic systems or swarm robotics, are made of multiple autonomous agents, each handling uncertain, partial and potentially inconsistent information, used in their reasoning and decision making.
De Angelis, Francesco Luca,, Szalas, Andrzej,, Di Marzo Serugendo, Giovanna,   +2 more
core