Ամսագրի կամ հրապարակման վերնագիր:
Հրապարակման ամսաթիւ:
Հատոր:
ISSN:
Լրացուցիչ տեղեկութիւն:
կապին հետեւելուն համար սեղմէ հոս
Վերնագիր:
Relative efficiency of nonclassical resolution and cut-free sequent system
Այլ վերնագիր:
Ստեղծողը:
Խորագիր:
Mathematics ; Computer software
Չվերահսկուող բանալի բառեր:
Ծածկոյթ:
Ամփոփում:
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.