✦ LIBER ✦

A logic characterized by the class of connected models with nested domains

✍ Scribed by Giovanna Corsi

Book ID: 104745026
Publisher: Springer Netherlands
Year: 1989
Tongue: English
Weight: 426 KB
Volume: 48
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00370630

No coin nor oath required. For personal study only.

✦ Synopsis

The main aim of this paper is to introduce the logic QE-LC whose language contains the 'existence' predicate E and which is characterized by the class of connected (Kripke) E-models with nested domains.

📜 SIMILAR VOLUMES

On a Class of Models, Closed with Respec

On a Class of Models, Closed with Respect to Direct Productby A. D. Tajmanov

✍ Review by: Peter G. Hinman 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 319 KB

Characterization of the Domain of Fracti

Characterization of the Domain of Fractional Powers of a Class of Elliptic Differential Operators with Feedback Boundary Conditions

✍ Takao Nambu 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 449 KB

We study a class of elliptic differential operators with feedback boundary conditions of the Dirichlet type and the generalized Neumann type. The domain of the fractional powers of these operators is completely characterized in terms of various Sobolev spaces. The results are an extension of the sta

Mathematical Investigations Connected wi

Mathematical Investigations Connected with the Operation of Electronic Computing Machinesby A. A. Lápunov

✍ Review by: Ann M. Singletery 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 204 KB

On a Consistency Theorem Connected with

On a Consistency Theorem Connected with the Generalized Continuum Problemby András Hajnal;On a Consistency Theorem Connected with the Generalized Continuum Problemby A. Hajnal;A Generalization of Gödel's Notion of Constructibilityby Azriel Lévy

✍ Review by: Thomas Frayne 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 314 KB

The Receptor Binding Domain of Apolipopr

The Receptor Binding Domain of Apolipoprotein E, Linked to a Model Class A Amphipathic Helix, Enhances Internalization and Degradation of LDL by Fibroblasts†

✍ Datta, Geeta; Chaddha, Manjula; Garber, David W.; Chung, Byung Hong; Tytler, Ewa 📂 Article 📅 2000 🏛 American Chemical Society 🌐 English ⚖ 194 KB

Determination of the losses induced by i

Determination of the losses induced by irreversible barkhausen jumps of the 180° domain wall moving with a sinusoidal motion in the single domain wall model

✍ A. Roman 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 304 KB