MOTS EN ANGLAIS EN RAPPORT AVEC «AXIOMATISATION»
axiomatisation
mathematics
axiomatic
system
axioms
from
which
some
used
conjunction
logically
derive
theorems
mathematical
theory
consists
derived
that
completely
described
special
kind
formal
axiomatisation
merriam
webster
with
audio
pronunciations
word
games
collins
always
ˌæksɪˌɒmətaɪˈzeɪʃən
definitions
noun
british
axiomatization
définition
autre
part
notions
géométriques
prennent
leur
aspect
rationnel
fait
dire
acte
mental
aboutit
création
reverso
conjugaison
voir
aussi
axiomatico
axiomatisable
axiomatiser
automatisation
expression
exemple
usage
finder
anagrams
words
start
created
german
many
other
translations
role
mweb
purposes
related
processes
providing
epistemological
background
teaching
view
foster
understanding
nature
définitions
larousse
retrouvez
section_expression
completeness
kozen
propositional
posed
question
about
modal
together
axiom
rule
10 LIVRES EN ANGLAIS EN RAPPORT AVEC «AXIOMATISATION»
Découvrez l'usage de
axiomatisation dans la sélection bibliographique suivante. Des livres en rapport avec
axiomatisation et de courts extraits de ceux-ci pour replacer dans son contexte son utilisation littéraire.
1
Dynamic Epistemic Logic
Theorem 4.51 The axiomatisation PA (A, P) is sound and complete. I To prove
soundness and completeness of the axiomatisation PA for the logic PA, we need
to show that for arbitrary formulas ip 6 C-KlY- \= <fi i&\~ p. The soundness of all ...
Hans van Ditmarsch, Wiebe van der Hoek, Barteld Pieter Kooi, 2007
2
Introduction to Process Algebra
Give the initial models for the following five axiomatisations and signatures: - {x =
f(x)} over {a, 6,/}; - {x = f(x)} over {a,/}; - the empty axiomatisation 0 over {a, f); - {x =
/(/(x))}over{a,/}; - {x = /(/(*))} over (f). Assume an axiomatisation over some ...
3
Paraconsistency: Logic and Applications: Logic and Applications
One might hope to identify M21 by presenting an axiomatisation that has LPm as
its underlying logic rather than LP (see Priest 1991, 2006). Indeed, LPm selects
the 'minimal abnormal' LP-models of a premise set—see below for the quotation
...
Koji Tanaka, Francesco Berto, Edwin Mares, 2012
4
A Complete Equational
Axiomatisation for Prefix Iteration
Abstract: "Iteration is added to Minimal Process Algebra (MPA[subscript sigma], which is a subset of BPA[subscript sigma] that is equivalent to Milner's basic CCS.
5
Handbook of Modal Logic
The first part of (i) can be reformulated as an axiomatisation problem. Given a
modal formula φ and a logic L0 ∈ NExtK, we say that the axiomatisation problem
for L0 ⊕ φ is decidable above L0 if the set {ψ ∈ ML1 | L0 ⊕ ψ = L0 ⊕ φ} is ...
Patrick Blackburn, Johan F.A.K. van Benthem, Frank Wolter, 2006
6
Handbook of Process Algebra
Four years later, Redko [69] proved that there does not exist a sound and
complete finite equational axiomatisation for regular expressions. (This proof was
simplified and corrected by Pilling; see [31, Chapter 1 1].) In 1966, Salomaa [70] ...
J.A. Bergstra, A. Ponse, S.A. Smolka, 2001
7
Formal Methods and Testing: An Outcome of the FORTEST ...
If one can characterise the equality predicate by means of a set of axioms, then
one can use this axiomatisation, as proposed by Bidoit and Hennicker in [12], to
define the test of non observable equalities. To give an intuition of how such an ...
Robert M. Hierons, Jonathan P. Bowen, Mark Harman, 2008
8
Mathematics of Program Construction: 9th International ...
The present axiomatisation is certainly much simpler and conceptually more
appealing than the DMS axiomatisation. Most significantly, the previous need to
explicitly specify and embed the Boolean algebra created a significant overhead
for ...
Philippe Audebaud (ed), Christine Paulin-Mohring, 2008
9
Non-Bayesian Decision Theory: Beliefs and Desires as Reasons ...
I shall now present the rule-based axiomatisation. This axiomatisation seeks to re
- construct the principle of maximising expected utility as a composite decision
rule consisting of transformative and effective subrules, along the lines
mentioned ...
10
Patterns of Change: Linguistic Innovations in the ...
In modern mathematics unification is often achieved through axiomatisation. It is
sufficient to mention Frege's axiomatisation of the predicate calculus, Zermelo's
axiomatisation of set theory, Peano's axiomatisation of arithmetic, or
Kolmogorov's ...
2 ACTUALITÉS CONTENANT LE TERME «AXIOMATISATION»
Découvrez de quoi on parle dans les médias nationaux et internationaux et comment le terme
axiomatisation est employé dans le contexte des actualités suivantes.
Thermodynamics really from scratch -- in a new textbook
... German mathematician, said once that from among all the areas of physics, thermodynamics had been the easiest one for axiomatisation. «Phys.Org, nov 12»
Philosophy and evolution
Over the past 50 years or so, there have been many attempts to give a general metaphysics of evolution, ranging from axiomatisation (by Mary ... «ScienceBlogs, mai 09»