1322 search results - page 139 / 265 » Unsound Theorem Proving |
IGPL
2007
13 years 10 months ago
2007
This work studies the structure of proofs containing non-analytic cuts in the cut-based system, a sequent inference system in which the cut rule is not eliminable and the only bra...
AML
2005
13 years 10 months ago
2005
We perform a proof-theoretical investigation of two modal predicate logics: global intuitionistic logic GI and global intuitionistic fuzzy logic GIF. These logics were introduced b...
TCS
2008
13 years 10 months ago
2008
Most genome rearrangements (e.g., reversals and translocations) can be represented as 2-breaks that break a genome at 2 points and glue the resulting fragments in a new order. Mul...
ACS
2004
13 years 10 months ago
2004
In this paper we introduce and study a cohomology theory {Hn(-, A)} for simplicial sets with coefficients in symmetric categorical groups A. We associate to a symmetric categorical...
CAGD
2000
13 years 10 months ago
2000
This paper presents a method for estimating curvature values of a surface, which is given only approximatively, e.g., by measured data. The presented method requires estimates of ...