A key issue for cadastral systems is the maintenance of their correctness. Correctness is defined to be the proper correspondence between the valid legal situation and the content of the cadastre. This correspondence is generally difficult to achieve, since the cadastre is not a complete representation of all aspects influencing the legal situation in reality. The goal of this paper is to devel...

This paper provides an outline of a formalization of classes of information fusion systems in terms of category theory and formal languages. The formalization captures both the inputs/outputs of a fusion system and the fusion processing algorithms. The paper also introduces a notion of subclass, which is used to compare classes of fusion systems, whether they are different or one is a special c...

I will discuss the two problems of how to define identity between logics and how to define identity between proofs. For the identity of logics, I propose to simply use the notion of preorder equivalence. This might be considered to be folklore, but is exactly what is needed from the viewpoint of the problem of the identity of proofs: If the proofs are considered to be part of the logic, then pr...

In antiquity we encounter a distinction of two types of hypothetical syllogisms. One type are the 'mixed hypothetical syllogisms'. The other type is the one to which the present paper is devoted. These arguments went by the name of 'wholly hypothetical syllogisms'. They were thought to make up a self-contained system of valid arguments. Their paradigm case consists of two conditionals as premis...

Hints from existing data suggest that deviations from scaling behavior should appear at momenta ]q21 ;G (20 GeV2). We interpret the deviations as due to structure of the hadronic constituents at 10 -IL5 cm . and make experimental predictions. The observed scaling behavior for deep inelastic electron scattering suggests that hadrons may be composed of point-like spin l/2 constituents (partons) f...

In this paper, we introduce the notion of proof animation. It is a new application of the principle of \Curry-Howard isomorphism" to formal proof developments. Logically, proof animation is merely a contrapositive of \proofs as programs," which is an application of Curry-Howard isomorphism to formal program developments. Nonetheless, the new viewpoint totally changes the scene. The motivation, ...

We point out a formal correspondence between thermodynamics and entanglement. By applying it to previous work, we show that entropy of entanglement is the unique measure of entanglement for pure states. 3.65.Bz, 89.70.+c Typeset using REVTEX E-mail: [email protected]

Simultaneous eigenfunctions of two Askey-Wilson second order difference operators are constructed as formal matrix coefficients of the principal series representation of the modular double of the quantized universal enveloping algebra Uq(sl 2 (C)). These eigenfunctions are shown to be equal to Ruijsenaars' hypergeometric function under a proper parameter correspondence .

347 Address correspondence to Emilios Cambouropoulos, Austrian Research Institute for Artificial Intelligence, Schottengasse 3, A-1010, Vienna, Austria. (e-mail: [email protected]) ISSN: 0730-7829. Send requests for permission to reprint to Rights and Permissions, University of California Press, 2000 Center St., Ste. 303, Berkeley, CA 94704-1223. Melodic Cue Abstraction, Similarity, and C...

In this paper we 1. provide a natural deduction system for full rst-order linear logic, 2. introduce Curry{Howard{style terms for this version of linear logic, 3. extend the notion of substitution of Curry-Howard terms for term variables, 4. deene the reduction rules for the Curry{Howard terms and 5. outline a proof of the strong normalization for the full system of linear logic using a develop...