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
An approach to [Formula: see text]-single-valued neutrosophic submodules. [PDF]
Sci Rep, 2023 Hameed MS +4 more
europepmc +1 more source
Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C
Bulletin of the Section of LogicGentzen-style sequent calculi and Gentzen-style natural deduction systems are introduced for a family (C-family) of connexive logics over Wansing’s basic constructive connexive logic C.
Norihiro Kamide
doaj +1 more source
An intelligent health monitoring and diagnosis system based on the internet of things and fuzzy logic for cardiac arrhythmia COVID-19 patients. [PDF]
Comput Biol Med, 2023 Rahman MZ +5 more
europepmc +1 more source
The Logic of Truth in Paraconsistent Internal Realism
Studia Philosophica Estonica, 2008 The paper discusses which modal principles should hold for a truth operator answering to the truth theory of internal realism. It turns out that the logic of truth in internal realism is isomorphic to the modal system S4.
Manuel Bremer
doaj
Subject-matter and intensional operators I: conditional-agnostic analytic implication. [PDF]
Philos Stud, 2023 Ferguson TM.
europepmc +1 more source
Revisiting Reichenbach's logic. [PDF]
Synthese, 2021 Estrada-González L, Cano-Jorge F.
europepmc +1 more source
The Prospects for a Monist Theory of Non-causal Explanation in Science and Mathematics. [PDF]
Erkenntnis, 2022 Reutlinger A +2 more
europepmc +1 more source
Development, Application, and Performance of Artificial Intelligence in Cephalometric Landmark Identification and Diagnosis: A Systematic Review. [PDF]
Healthcare (Basel), 2022 Junaid N +9 more
europepmc +1 more source