Results 111 to 120 of about 12,748 (219)

Correspondence of Contradictions in the Constructive Connexive Calculus <b>C</b>. [PDF]

Arch Math Log
Niki S.
europepmc   +1 more source

The Same Formulas Split Into Four Kinds by Truth Tables and Into Six by Widening Worlds ── Of 3303 one-variable formulas, truth tables give only the 4 kinds always-false, P, not P, always-true, while 828 Kripke models give 6 ── the separator is whether one splits by truth tables or by widening worlds ── [Paper 808]

Yuuki Yamagishi
openalex   +1 more source

The social phenomenon of rare diseases: a logical-modal analysis. [PDF]

Front Sociol
Fernández-Vilas E, Coca JR, Plaza-Gómez N, Toscano FS.   +3 more
europepmc   +1 more source

Adult-onset STING-associated vasculopathy. [PDF]

J Hum Immun
Riley TR, Kotzin JJ, Park DJ, Banerjee S, Takanohashi A, Vanderver A, Penn Medicine Biobank, Baker JF, Finck AV, Miner JJ.   +9 more
europepmc   +1 more source

Accelerometer data processing pipeline using ActiLife software for reproducible 24-hour physical behavior assessment in the ELSA-Brasil cohort. [PDF]

MethodsX
Moura BP, Sasaki JE, Griep RH, Feter N, Schmidt MI, da Fonseca MJM.   +5 more
europepmc   +1 more source

A Kripke Semantics and Tableau for Monadic Wajsberg Logic

Andrew Lewis-Smith
openalex   +1 more source

Comparison and Validation of Actigraphy Algorithms Using a Large Community Dataset: Algorithm Validation Study. [PDF]

JMIR Form Res
Panesar D, Vichare A, Goncalves J, Stremler R.   +3 more
europepmc   +1 more source

The Nature of Mathematical Truth: A Comparative Study of Frege, Mill, and Kripke

Sharmistha Chakraborty
openalex   +2 more sources

The Kripke–Wittgenstein Paradox Through the Lens of TNA: Rule-Following as Failure of Local Closure

Claudio Bresciano
openalex   +1 more source

Kripke on Gödel Incompleteness

Daniel Isaacson
openalex   +1 more source