Օբյեկտ

Վերնագիր: Relative efficiency of nonclassical resolution and cut-free sequent system

Ստեղծողը:

Sergey M. Sayadyan

Տեսակ:

Հոդված

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

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=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

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

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

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Dec 8, 2023

Մեր գրադարանում է սկսած:

Jul 24, 2020

Օբյեկտի բովանդակության հարվածների քանակ:

27

Օբյեկտի բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/281602

Ցույց տուր նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Հրատարակության անուն Ամսաթիվ
Relative efficiency of nonclassical resolution and cut-free sequent system Dec 8, 2023

Օբյեկտի տեսակ՝

Նման

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն