Veblen has given a set of axioms for geometry.!. The first eight of these are as follows : % Axiom I. There exist at least two distinct points. Axiom II. If points A, B, C are in the order ABC, they are in the order CBA. Axiom III. If points A, B, C are in the order ABC, they are not in the order BCA. Axiom IV. If points A, B, C are in the order ABC, then A is distinct from C. Axiom V. If A and...

The reals, of course, already have an axiom system. They are a complete, linearly ordered field. This axiom system is even categorical, meaning that it completely characterizes the reals. Up to isomorphism, the reals are the only complete, linearly ordered field. Another property of axiom systems, considered to be particularly elegant ever since the birth of formal logic, is independence. In an...

When deployed in practical applications, Ontologies and KBs often suffer various kinds of inconsistency, which limit the applications performances significantly. In this paper, we propose a framework to reason inconsistency between Ontology and KB and refine the inconsistency accordingly. To make our framework efficient, we only focus on reasoning a part responsible for the inconsistency, rathe...

The chaotic hypothesis discussed in [GC1] is tested experimentally in a simple conduction model. Besides a confirmation of the hypothesis predictions the results suggest the validity of the hypothesis in the much wider context in which, as the forcing strength grows, the attractor ceases to be an Anosov system and becomes an Axiom A attractor. A first test of the new predictions is also attempted.

Ex. 17 Let us call the new system L, i.e. its axioms are all propositional tautologies (Axiom 1) plus the axioms 2> (Axiom 2) and 2φ∧2ψ → 2(φ∧ψ) (Axiom 3), and the rules modus ponens and φ→ ψ 2φ→ 2ψ We have to show that for all formulas φ `K φ ⇔ `L φ. ⇒: For this direction we have to show that L derives all axioms of K and all its rules. Axiom 1 of K is the same as Axiom 1 in L, thus we have no...