Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Title:
Relative efficiency of nonclassical resolution and cut-free sequent system
Other title:
Creator:
Subject:
Mathematics ; Computer software
Uncontrolled Keywords:
Coverage:
Abstract:
Comparison of the effciency of resolution system and cut-free sequent calculus remains an open problem since 1974 (Cook, Reckhow). The problem was solved by A. Chubaryan for classical propositional logic in 2001. The paper proves that mentioned two systems for Intuitionistic propositional logic (Minimal propositional logic) are also polynomially equivalent.