10 ENGLISH BOOKS RELATING TO «AXIOMATISATION»
Discover the use of
axiomatisation in the following bibliographical selection. Books relating to
axiomatisation and brief extracts from same to provide context of its use in English literature.
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 NEWS ITEMS WHICH INCLUDE THE TERM «AXIOMATISATION»
Find out what the national and international press are talking about and how the term
axiomatisation is used in the context of the following news items.
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, May 09»
