Results 131 to 140 of about 801,927 (249)

Development, Application, and Performance of Artificial Intelligence in Cephalometric Landmark Identification and Diagnosis: A Systematic Review. [PDF]

open access: yesHealthcare (Basel), 2022
Junaid N   +9 more
europepmc   +1 more source

Paraconsistent Constructive Modal Logic

open access: yes
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

What is a Paraconsistent Logic

open access: yes, 2018
E. Barrio, F. Pailos, D. Szmuc
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy