1322 search results - page 71 / 265 » Unsound Theorem Proving |
AMC
2007
13 years 7 months ago
2007
Recently, particular counterexamples were constructed to some theorems of a previous paper, concerning the global attractivity of the positive equilibrium for the delay equation _...
EJC
2008
13 years 7 months ago
2008
Abstract. We prove a general theorem on semigroup functions that implies characterizations of graph partition functions in terms of the positive semidefiniteness (`reflection posit...
APAL
2006
13 years 7 months ago
2006
I present a new syntactical method for proving the Interpolation Theorem for the implicational fragment of intuitionistic logic and its substructural subsystems. This method, like...
JAR
2007
13 years 7 months ago
2007
ACL2(r) is a modified version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...
JSYML
2007
13 years 7 months ago
2007
Various theorems for the preservation of set-theoretic axioms under forcing are proved, regarding both forcing axioms and axioms true in the L´evy collapse. These show in particul...