5084 search results - page 37 / 1017 » Proving Possibility Properties |
COMGEO
2012
ACM
12 years 5 months ago
2012
ACM
The problem of reconstructing a region from a set of sample points is common in many geometric applications, including computer vision. It is very helpful to be able to guarantee ...
ORL
2007
13 years 9 months ago
2007
We show that a class of polyhedra, arising from certain 0, 1 matrices introduced by Truemper and Chandrasekaran, has the integer decomposition property. This is accomplished by pr...
AML
2011
13 years 5 months ago
2011
We prove that all extensions of Heyting Arithmetic with a logic that has the finite frame property possess the de Jongh property. Dedicated to Petr H´ajek, on the occasion of his...
NDJFL
1998
13 years 9 months ago
1998
Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that ¬(a ∧ ¬a) is a t...
IANDC
2010
13 years 7 months ago
2010
Iterative monads of Calvin Elgot were introduced to treat the semantics of recursive equations purely algebraically. They are Lawvere theories with the property that all ideal sys...