1127 search results - page 145 / 226 » Theory Extension in ACL2(r) |
152
click to vote
DCG
2010
15 years 6 months ago
2010
We express the matroid polytope PM of a matroid M as a signed Minkowski sum of simplices, and obtain a formula for the volume of PM . This gives a combinatorial expression for the...
169
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
136
click to vote
IJAR
2008
15 years 6 months ago
2008
The Dempster-Shafer (DS) theory of probabilistic reasoning is presented in terms of a semantics whereby every meaningful formal assertion is associated with a triple (p, q, r) whe...
144
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we are going to introduce the notion of strong non-standard completeness (SNSC) for fuzzy logics. This notion naturally arises from the well known construction by ul...
129
click to vote
JSYML
2007
15 years 6 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...