Results 1  10
of
398
Some Algorithmic and ProofTheoretical Aspects of Coercive Subtyping
 In Proceedings of TYPES'96, Lecture Notes in Computer Science
, 1996
"... . Coercive subtyping offers a conceptually simple but powerful framework to understand subtyping and subset relationships in type theory. In this paper we study some of its prooftheoretic and computational properties. 1 Introduction Coercive subtyping, as first introduced in [Luo96], offers a conc ..."
Abstract

Cited by 7 (0 self)
 Add to MetaCart
. Coercive subtyping offers a conceptually simple but powerful framework to understand subtyping and subset relationships in type theory. In this paper we study some of its prooftheoretic and computational properties. 1 Introduction Coercive subtyping, as first introduced in [Luo96], offers a
ComputabilityTheoretic and ProofTheoretic Aspects of Partial and Linear Orderings
 Israel Journal of mathematics
"... Szpilrajn's Theorem states that any partial order P = hS; <P i has a linear extension L = hS; <L i. This is a central result in the theory of partial orderings, allowing one to de ne, for instance, the dimension of a partial ordering. It is now natural to ask questions like \Does a we ..."
Abstract

Cited by 12 (1 self)
 Add to MetaCart
Szpilrajn's Theorem states that any partial order P = hS; <P i has a linear extension L = hS; <L i. This is a central result in the theory of partial orderings, allowing one to de ne, for instance, the dimension of a partial ordering. It is now natural to ask questions like \Does a wellpartial ordering always have a wellordered linear extension?" Variations of Szpilrajn's Theorem state, for various (but not for all) linear order types , that if P does not contain a subchain of order type , then we can choose L so that L also does not contain a subchain of order type . In particular, a wellpartial ordering always has a wellordered extension.
unknown title
"... Prooftheoretic aspects of obtaining a constructive version of the mean ergodic theorem – p. 1/27 Prooftheoretic aspects of obtaining a constructive version of the mean ergodic theorem ..."
Abstract
 Add to MetaCart
Prooftheoretic aspects of obtaining a constructive version of the mean ergodic theorem – p. 1/27 Prooftheoretic aspects of obtaining a constructive version of the mean ergodic theorem
A ProofTheoretic Approach to Knowledge
, 1999
"... We speculate on logical aspects of the socalled three wise men puzzle with prooftheoretic methods. We propose and study the following. (1) Logical ability of each player of a puzzle is equivalent to a logical system KL, which is based on classical propositional calculus augmented with inferences ..."
Abstract
 Add to MetaCart
We speculate on logical aspects of the socalled three wise men puzzle with prooftheoretic methods. We propose and study the following. (1) Logical ability of each player of a puzzle is equivalent to a logical system KL, which is based on classical propositional calculus augmented with inferences
Logical foundations of objectoriented and framebased languages
 JOURNAL OF THE ACM
, 1995
"... We propose a novel formalism, called Frame Logic (abbr., Flogic), that accounts in a clean and declarative fashion for most of the structural aspects of objectoriented and framebased languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, ..."
Abstract

Cited by 876 (65 self)
 Add to MetaCart
, encapsulation, and others. In a sense, Flogic stands in the same relationship to the objectoriented paradigm as classical predicate calculus stands to relational programming. Flogic has a modeltheoretic semantics and a sound and complete resolutionbased proof theory. A small number of fundamental concepts
New results in linear filtering and prediction theory
 TRANS. ASME, SER. D, J. BASIC ENG
, 1961
"... A nonlinear differential equation of the Riccati type is derived for the covariance matrix of the optimal filtering error. The solution of this "variance equation " completely specifies the optimal filter for either finite or infinite smoothing intervals and stationary or nonstationary sta ..."
Abstract

Cited by 607 (0 self)
 Add to MetaCart
in this field. The Duality Principle relating stochastic estimation and deterministic control problems plays an important role in the proof of theoretical results. In several examples, the estimation problem and its dual are discussed sidebyside. Properties of the variance equation are of great interest
ALGORITHMS FOR THE ASSIGNMENT AND TRANSPORTATION PROBLEMS
, 1957
"... In this paper we presen algorithms for the solution of the general assignment and transportation problems. In Section 1, a statement of the algorithm for the assignment problem appears, along with a proof for the correctness of the algorithm. The remarks which constitute the proof are incorporated p ..."
Abstract

Cited by 454 (0 self)
 Add to MetaCart
parenthetically into the statement of the algorithm. Following this appears a discussion of certain theoretical aspects of the problem. In Section 2, the algorithm is generalized to one for the transportation problem. The algorithm of that section is stated as concisely as possible, with theoretical remarks
A PROOFTHEORETIC APPROACH TO MATHEMATICAL KNOWLEDGE MANAGEMENT
, 2007
"... Mathematics is an area of research that is forever growing. Definitions, theorems, axioms, and proofs are integral part of every area of mathematics. The relationships between these elements bring to light the elegant abstractions that bind even the most intricate aspects of math and science. As the ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Mathematics is an area of research that is forever growing. Definitions, theorems, axioms, and proofs are integral part of every area of mathematics. The relationships between these elements bring to light the elegant abstractions that bind even the most intricate aspects of math and science
Results 1  10
of
398