Results 141 to 150 of about 1,478 (181)

CT imaging-derived phenotypes for abdominal muscle and their association with age and sex in a medical biobank. [PDF]

Sci Rep
Vu PT, Chahine C, Chatterjee N, MacLean MT, Swago S, Bhattaru A, Thompson EW, Ikhlas A, Oteng E, Davidson L, Tran R, Hazim M, Raghupathy P, Verma A, Duda J, Gee J, Luks V, Gershuni V, Wu G, Rader D, Sagreiya H, Witschey WR, Penn Medicine Biobank.   +22 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Preservation theorems for Kripke models

Mathematical Logic Quarterly, 2009
AbstractThere are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model A is a submodel of a Kripke model B if they have the same frame and for each two corresponding worlds Aα and Bα of them, Aα is a subset of Bα and forcing of atomic formulas with parameters in the smaller ...
Mostafa Zaare, Morteza Moniri
exaly   +3 more sources

Probabilistic Causal Kripke Models

Lecture Notes in Computer Science
We extend the framework of causal Kripke models in [8] to a probabilistic setting, by allowing a quantitative representation of a causal agent’s uncertainty. This framework incorporates probabilities into the Halpern-Pearl model of causality, enabling the evaluation of how likely an event is to be the actual cause of another.
Krishna Manoorkar
exaly   +3 more sources

On the structure of kripke models of heyting arithmetic

Mathematical Logic Quarterly, 1993
AbstractSince in Heyting Arithmetic (HA) all atomic formulas are decidable, a Kripke model for HA may be regarded classically as a collection of classical structures for the language of arithmetic, partially ordered by the submodel relation. The obvious question is then: are these classical structures models of Peano Arithmetic (PA)?
exaly   +3 more sources

Functional Interpretation and Kripke Models

1977
In this paper, we shall investigate the relationship between Gode’s functional interpretation and validity in a Kripke structure built up from the concept of functional system.
Jean-Yves Girard
exaly   +2 more sources

Homomorphisms and chains of Kripke models

Archive for Mathematical Logic, 2010
This paper is a continuation of the study of preservation theorems in intuitionistic logic by the authors [``Preservation theorems for Kripke models'', Math. Log. Q. 55, No. 2, 177--184 (2009; Zbl 1160.03018)]. It is based on Kripke semantics and restricts to those Kripke models defined on a fixed frame \(F\). A homomorphism (resp.
Morteza Moniri, Mostafa Zaare
openaire   +2 more sources

Kripke models for linear logic

Journal of Symbolic Logic, 1993
AbstractWe present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose.
Gerard Allwein, J. Michael Dunn
openaire   +2 more sources

A Kripke model for simplicial sets

Theoretical Computer Science, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Marc Bezem, Thierry Coquand
openaire   +1 more source

Logics of Kripke meta-models

Logic Journal of IGPL, 2009
Summary: This paper introduces and studies a new type of logical construction, which allows us to combine various nonclassical propositional logics with temporal or modal background. The possible candidates include (but are not restricted to) a number of epistemic, multi-agent, deontological and other well-studied logics.
Sergey Babenyshev, Vladimir V. Rybakov
openaire   +2 more sources