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 ...
Gao, Han +2 more
openaire +3 more sources
Early Prediction in Classification of Cardiovascular Diseases with Machine Learning, Neuro-Fuzzy and Statistical Methods. [PDF]
Biology (Basel), 2023 Taylan O +4 more
europepmc +1 more source
Anti-Exceptionalism About Requirements of Epistemic Rationality. [PDF]
Acta Anal, 2021 Field C.
europepmc +1 more source
Otto Neurath's Scientific Utopianism Revisited-A Refined Model for Utopias in Thought Experiments. [PDF]
J Gen Philos Sci, 2023 Linsbichler A, da Cunha IF.
europepmc +1 more source
Multi-Class Skin Lesion Classification Using a Lightweight Dynamic Kernel Deep-Learning-Based Convolutional Neural Network. [PDF]
Diagnostics (Basel), 2022 Aldhyani THH +3 more
europepmc +1 more source
Nonlinear distance measures under the framework of Pythagorean fuzzy sets with applications in problems of pattern recognition, medical diagnosis, and COVID-19 medicine selection. [PDF]
Beni Suef Univ J Basic Appl Sci, 2023 Dutta P, Borah G, Gohain B, Chutia R.
europepmc +1 more source
A Comparative Study Between Clinical Optical Coherence Tomography (OCT) Analysis and Artificial Intelligence-Based Quantitative Evaluation in the Diagnosis of Diabetic Macular Edema. [PDF]
Vision (Basel)Brandão Fantozzi C +5 more
europepmc +1 more source
Prioritisation Assessment and Robust Predictive System for Medical Equipment: A Comprehensive Strategic Maintenance Management. [PDF]
Front Public Health, 2021 Zamzam AH +7 more
europepmc +1 more source
A basic system of paraconsistent Nelsonian logic of conditionals. [PDF]
J Logic Lang InfOlkhovikov GK.
europepmc +1 more source