Results 131 to 140 of about 806,990 (259)
Paraconsistent Constructive Modal Logic
We present a family of paraconsistent counterparts of the constructive modal logic CK. These logics aim to formalise reasoning about contradictory but non-trivial propositional attitudes like beliefs or obligations. We define their Kripke-style semantics based on intuitionistic frames with two valuations which provide independent support for truth and ...
Han Gao +2 more
openaire +2 more sources
Tools for the Investigation of Substructural and Paraconsistent Logics
European Conference on Logics in Artificial Intelligence, 2014 A. Ciabattoni, Lara Spendier
semanticscholar +1 more source
Minimally inconsistent reasoning in Semantic Web. [PDF]
PLoS One, 2017 Zhang X.
europepmc +1 more source
On Extensions of a System of Paraconsistent Logic PCL1
, 2012 Hitoshi Omori, Toshiharu Waragai
openalex +2 more sources
Combining Paraconsistent Logic with Argumentation
, 2014 Diana Grooters, Prakken Henry
openalex +2 more sources
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic
, 2019 Damián Szmuc
openalex +2 more sources
Homotopies in Classical and Paraconsistent Modal Logics [PDF]
, 2011 Can Başķent
openalex +1 more source