Ramsey's theorem in bounded arithmetic Page 1 RAHSEY'S THEOREM IN BOUNDED ARITHMETIC Pavel Pudldk Hathematical Institute Praha 1, ~Itn~ 25 Czechoslovakia Abstract …
SR Buss - Annals of Pure and Applied Logic, 1991 - Elsevier
Partial consistency statements can be expressed as polynomial-size propositional formulas. Frege proof systems have polynomial-size partial self-consistency proofs. Frege proof …
This thesis explores the relative complexity of proofs produced by the automatic theorem proving procedures of analytic tableaux, linear resolution, the connection method, tree …
We introduce new proof systems for propositional logic, 1-simple deduction Frege systems, simple deduction Frege systems, nested deduction Frege systems and general deduction …
L Pacholski, W Szwast - … 1991 Sixth Annual IEEE Symposium on …, 1991 - computer.org
It is proved that the 0-1 law does not hold for the class of existential second sentences whose first order part is in the minimal Godel class, ie has the quantifier prenex consisting of …
We introduce new proof systems for propositional logic, simple deduction Frege systems, general deduction Frege systems and nested deduction Frege systems, which augment …
STOC/FOCS bibliography (preliminary version) | ACM Other Books skip to main content ACM Digital Library home ACM home Google, Inc. (search) Advanced Search Browse About Sign in …
PB Andrews - Journal of Automated Reasoning, 1991 - Springer
While relatively little work has been done on (b), substantial work relevant to (a) has been done. Of course, this is part of the broader topic of proof transformations, for which we …