Results 221 to 230 of about 5,368 (252)

Conservative Extension in Relevant Arithmetic

Mathematical Logic Quarterly, 1986
This paper gives a conservative extension result for the relevant arithmetic R{\#}, which is essentially Peano arithmetic built on the quantified relevant logic, RQ. In particular, it employs a very nice adaption of the techniques of \textit{R. K. Meyer} [Notre Dame J. Formal Logic 17, 184-190 (1976; Zbl 0226.02021) and ibid.
Robert K. Meyer, Igor Urbas
openaire   +2 more sources

Conservativeness and Extensions of Feller Semigroups

Positivity, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +1 more source

Classical Conservative Extensions of Lambek Calculus

Studia Logica, 2002
The paper concerns the Lambek Calculus (LC) and its extensions. The pure Lambek Calculus, which is LC without additive constants, is also distinguished. Two systems are considered: Noncommutative Multiplicative-Additive Linear Logic (NMALL), introduced by the author (in 1991), and Cyclic Multiplicative-Additive Linear Logic (CyMALL), introduced by ...
openaire   +1 more source

Conservative Type Extensions for XML Data

2013
We introduce a method for building a minimal XML type (belonging to standard class of regular tree grammars) as an extension of other given types. Not only do we propose an easy-to-handle XML type evolution method, but we prove that this method computes the smallest extension of a given tree grammar, respecting pre-established constraints.
Jacques Chabin, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Pierre Réty   +3 more
openaire   +2 more sources

[Extensive conservative treatment of obesity].

Therapeutische Umschau. Revue therapeutique, 2013
The treatment of obesity is complex due to the multifactorial etiology. A modern therapy concept must therefore be tailored to the individual needs and problems and depends on various factors such as degree of obesity, the presence of physical complications, psychological co-morbidities, any treatment measures the patient underwent up to now as well as
Buri, C, Laederach, Kurt
openaire   +3 more sources

Conservative extensions: A cautionary note

Bull. EATCS, 1990
The statement ``Theory 1 is a conservative extension of Theory 2'', is frequently found in discussion in the context of formal specifications, particularly relating to the so called algebraic and set theoretic approaches. The concept involved is simple: the extension introduces nothing new within the curtilage of the first theory.
Paddy Byers, David H. Pitt
openaire   +1 more source

Extensive Persistent Pupillary Membranes: Conservative Management

Journal of American Association for Pediatric Ophthalmology and Strabismus, 2005
Extensive persistent pupillary membranes (PPMS) may appear to occlude the pupil so completely as to preclude useful vision. They often motivate aggressive interventions. We present a 6-year-old girl with bilateral extensive densely pigmented pupillary membranes in whom good vision was obtained without pharmacologic, laser, or surgical intervention ...
Neepa M, Thacker, Michelle T, Brit, Joseph L, Demer   +2 more
openaire   +2 more sources

Conservative Extensions of Abstract Structures

2011
In the present paper we investigate a relation, called conservative extension, between abstract structures A and B, possibly with different signatures and |A| ⊆ |B|. We give a characterisation of this relation in terms of computable Σn formulae and we show that in some sense it provides a finer complexity measure than the one given by degree spectra of
openaire   +1 more source

Conservative extensions in modal logic.

2006
Every normal modal logic L gives rise to the consequence relation \phi |=L \psi which holds if, and only if, \psi is true in a world of an L-model whenever \phi is true in that world. We consider the following algorithmic problem for L. Given two modal formulas \phi_1 and \phi_2, decide whether \phi_1\wedge \psi_2 is a conservative extension of \phi_1 ...
S. Ghilardi, C. Lutz, F. Wolter, M. Zakharyaschev   +3 more
openaire   +2 more sources

The Extension Forester and Wildlife Conservation

Journal of Forestry, 1938
Abstract In a sense, the article that follows is unusual. It is not a description of methods, a report of new findings, or a discussion of administrative procedures. It is merely Mr. Bode's analysis of the job he is doing. It is really too bad that more men in the various technical services of the government do not take sufficient ...
openaire   +1 more source