Results 121 to 130 of about 801,927 (249)
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
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
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
Opening address: Paraconsistent logic
Logic and Logical Philosophy, 2004 I am honoured with and touched by the invitation of delivering the opening address of this Congress. Firstly, to see paraconsistent logic flourishing and growing, as we can readily see by simply glacing over the programme of this conference, is among one of my greatest joys.
openaire +2 more sources
Subject-matter and intensional operators I: conditional-agnostic analytic implication. [PDF]
Philos Stud, 2023 Ferguson TM.
europepmc +1 more source
An Epistemic Interpretation of Paraconsistent Weak Kleene Logic [PDF]
This paper extends Fitting's epistemic interpretation of some Kleene logics, to also account for Paraconsistent Weak Kleene logic. To achieve this goal, a dualization of Fitting's "cut-down" operator is discussed, rendering a "track-down" operator later ...
Szmuc, Damian E.
core
Revisiting Reichenbach's logic. [PDF]
Synthese, 2021 Estrada-González L, Cano-Jorge F.
europepmc +1 more source