Skip to main content

Showing 1–1 of 1 results for author: Perron, S

Searching in archive cs. Search in all archives.
.
  1. arXiv:0801.4105  [pdf, ps, other

    cs.LO cs.CC

    Quantified Propositional Logspace Reasoning

    Authors: Steven Perron

    Abstract: In this paper, we develop a quantified propositional proof systems that corresponds to logarithmic-space reasoning. We begin by defining a class SigmaCNF(2) of quantified formulas that can be evaluated in log space. Then our new proof system GL^* is defined as G_1^* with cuts restricted to SigmaCNF(2) formulas and no cut formula that is not quantifier free contains a free variable that does not… ▽ More

    Submitted 27 January, 2008; originally announced January 2008.

    Comments: 28 pages