10 ENGLISH BOOKS RELATING TO «CONSERVATIVE EXTENSION»
Discover the use of
conservative extension in the following bibliographical selection. Books relating to
conservative extension and brief extracts from same to provide context of its use in English literature.
1
Modular Ontologies: Concepts, Theories and Techniques for ...
We say that Q is a deductive S-conservative extension of Q1 w.r.t. L, if for every
axiom α over L with Sig(α) ⊆ S, we have Q |= α iff Q1 |= α. We say that Q is a
model S-conservative extension of Q1 if, for every model I1 of Q1, there exists a
model ...
Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra, 2009
We say that E' is a conservative extension of E if for every $ e Wff(L), if E' I- (j>,
then also E h </>. We say that E' is an effective conservative extension if the
derivation of (j> in E can be calculated from the derivation of </> in E'. Informally,
an ...
Andras Hajnal, Peter Hamburger, 1999
3
Logic, Language, Information and Computation: 16th ...
Every model-theoretic conservative extension is an FO-conservative extension,
but the converse is well-known to fail. Both notions can, in principle, be used
without modification to analyse the effect of adding axioms T to a given ontology
T. It ...
Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz, 2009
4
Handbook of Process Algebra
Conservative extension Over and over again. process calculi such as CCS [I57],
CSP [I86]. and ACP [28] have been extended with new features, and the original
TSSs, which provide the semantics for these process algebras. were extended ...
J.A. Bergstra, A. Ponse, S.A. Smolka, 2001
Another example of arguably untoward disruptiveness is what we shall be calling
failures of the condition of 'conservation of synonymy' in 8.23; again, such failures
do not amount to non-conservative extension in the technical sense. End of ...
6
Proceedings of the 10Th Asian Logic Conference
Suppose that TQ D RCA0 and that T D T0 is a n^+2 axiomatizable conservative
extension of Tq. Then 7\ D is the maximal fig^ axiomatizable II* + 1 conservative
extension of To if for every n^+a axiomatizable conservative extension T% D To
of ...
7
Ontology Representation: Design Patterns and Ontologies that ...
(2006) introduce a notion of safe reuse, direct formal reuse of a signature in an
ontology, based on the definition of conservative extension in description logics:
Definition 5.4.6 (Conservative Extension) An ontology O is an S-conservative ...
8
ZUM '98: The Z Formal Specification Notation: 11th ...
In particular, consistency will be ensured if the theory of each initial sequence is a
conservative extension of that formed by the sequence obtained by deleting its
last paragraph. A sufficient condition for consistency is that every paragraph ...
Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey, 1998
9
An Introduction to Mathematical Logic and Type Theory
F2 is a conservative extension of T1 iff for every wff C of C (F1) , \-y\ C iff h^a C.
Clearly a conservative extension is an extension. Logistic systems Tl and T2 are
equivalent iff each is an extension of the other. In this case, they have the same ...
10
Theoretical Aspects of Computer Software: International ...
This paper uses mostly syntactic arguments, like those sketched in [2,4], to
establish conservative extension: the proofs involve rewriting a distinguishing
context in the extended language to a distinguishing context in the original
language.
Masami Hagiya, John C. Mitchell, 1994
4 NEWS ITEMS WHICH INCLUDE THE TERM «CONSERVATIVE EXTENSION»
Find out what the national and international press are talking about and how the term
conservative extension is used in the context of the following news items.
Canada could stay in Afghanistan past 2014
“Canadians do not want another Conservative extension of the mission in Afghanistan and the NDP will not support one,” said Mulcair. «Toronto Sun, Apr 12»
Stephen Harper says Canadian troops could stay in Afghanistan …
“Canadians do not want yet another Conservative extension of the mission in Afghanistan and the NDP will not support one,” Mulcair said. «Toronto Star, Apr 12»
Scott Loeffler and Creeping Sabanization
Michigan fans did not like offensive coordinator Mike Debord, seeing him as a conservative extension of Carr who would run the ball or die ... «SB Nation Atlanta, Jan 12»
Alternative Axioms: NBG Set Theory
In any event, NBG is a conservative extension of ZFC — it proves exactly the same statements about sets as ZFC does. ZFC does not have ... «ScienceBlogs, Jun 07»
