Results 31 to 40 of about 857,290 (286)
Generalizations of Kochen and Specker's Theorem and the Effectiveness of Gleason's Theorem [PDF]
, 2003 Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct construction ...
Hrushovski, Ehud, Pitowsky, Itamar
core +3 more sources
Notre Dame Journal of Formal Logic, 1996 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Analysis of Logical Consequence in Islamic Logic, and its Compatibility with Metaphysical Realism [PDF]
حکمت سینویThe relationship of logical consequence can be understood through at least two primary perspectives: proof-theoretic and model-theoretic. From a proof-theoretic standpoint, the existence of a proof that derives a conclusion from premises indicates that ...
Hamid Alaeinejad
doaj +1 more source
Basic Four-Valued Systems of Cyclic Negations
Bulletin of the Section of Logic, 2022 We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as
Oleg Grigoriev, Dmitry Zaitsev
doaj +1 more source
Aggregation for quality management [PDF]
Yugoslav Journal of Operations Research, 2006 The problem relevant for quality management such as aggregation of many features into one representative is analyzed. Actually, in quality management practice, standard approaches to aggregation are often trivial and as a consequence - inadequate.
Mirković Marko +2 more
doaj +1 more source
Modal Logic vs. Ontological Argument [PDF]
, 2012 The contemporary versions of the ontological argument that originated from Charles Hartshorne are formalized proofs based on unique modal theories. The simplest well-known theory of this kind arises from the b system of modal logic by adding two extra ...
Biłat, Andrezej
core +1 more source
Molecular Oncology, EarlyView.Meta‐transcriptome analysis identified FGF19 as a peptide enteroendocrine hormone associated with colorectal cancer prognosis. In vivo xenograft models showed release of FGF19 into the blood at levels that correlated with tumor volumes. Tumoral‐FGF19 altered murine liver metabolism through FGFR4, thereby reducing bile acid synthesis and increasing ...
Jordan M. Beardsley +5 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Status epilepticus (SE) is associated with significant mortality. Sleep architecture may reflect normal brain function. Impaired sleep architecture is associated with poorer outcomes in numerous conditions. Here we investigate the association of sleep architecture in continuous EEG (cEEG) with survival in SE.
Ran R. Liu +5 more
wiley +1 more source
Logical consequence in modal logic II: Some semantic systems for S4 [PDF]
, 1974 : This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain
Weaver, George
core
Logical consequences. Theory and applications: An introduction. [PDF]
, 2020 2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind.
Augusto, Luis M.
core