Ամսագրի կամ հրապարակման վերնագիր:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Հրապարակման ամսաթիվ:

2007

Հատոր:

28

ISSN:

0131-4645

Լրացուցիչ տեղեկություն:

սեղմիր այստեղ կապին հետևելու համար

Այլ վերնագիր:

Ռեզոլյուցիայի և առանց հատույթի կանոնի սեկվենցիալ համակարգերի հարաբերական էֆֆեկտիվությունը ոչ դասական ասութային հաշվի համար

Ծածկույթ:

135-140

Ամփոփում:

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.

Հրատարակիչ:

АН Арм. ССР

Ստեղծման ամսաթիվը:

2007-02-10

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:258526

Բնօրինակի գտնվելու վայրը:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան