与 «CONSERVATIVE EXTENSION»相关的英语书籍
在以下的参考文献中发现
conservative extension的用法。与
conservative extension相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
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
包含词语«CONSERVATIVE EXTENSION»的新条目
找出国内和国际出版社所讨论的内容，以及词语
conservative extension在以下新条目的上下文中是如何使用的。
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, 四月 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, 四月 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, 一月 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, 六月 07»
