MOTS EN ANGLAIS EN RAPPORT AVEC «CONSERVATIVE EXTENSION»
conservative extension
conservative
extension
mathematical
logic
logical
theory
language
extends
every
theorem
that
already
more
generally
formulas
common
then
over
formula
from
provable
also
philosophy
encyclopedia
britannica
other
hand
platonists
observe
type
internal
topos
namely
understanding
proof
theoretic
meaning
judaism
party
progressive
modal
department
computer
whether
∧ϕ
sense
whenever
rather
surprisingly
notion
expansive
pensar
concept
very
important
many
uses
instance
relative
consistency
being
fact
argument
dana
scott
abstract
exegesis
analysis
discussion
deployed
paper
background
formalization
rovide
logicandlanguage
dummett
harmony
post
will
brief
family
related
concepts
local
reduction
normalisation
aggregate
functions
linear
orders
property
conservativity
nested
rela
tional
query
10 LIVRES EN ANGLAIS EN RAPPORT AVEC «CONSERVATIVE EXTENSION»
Découvrez l'usage de
conservative extension dans la sélection bibliographique suivante. Des livres en rapport avec
conservative extension et de courts extraits de ceux-ci pour replacer dans son contexte son utilisation littéraire.
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 ACTUALITÉS CONTENANT LE TERME «CONSERVATIVE EXTENSION»
Découvrez de quoi on parle dans les médias nationaux et internationaux et comment le terme
conservative extension est employé dans le contexte des actualités suivantes.
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, avril 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, avril 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, janv 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, juin 07»
