Object

Title: Relative efficiency of nonclassical resolution and cut-free sequent system

Journal or Publication Title:

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

Date of publication:

2007

Volume:

28

ISSN:

0131-4645

Additional Information:

click here to follow the link

Other title:

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

Coverage:

135-140

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.

Publisher:

АН Арм. ССР

Date created:

2007-02-10

Format:

pdf

Identifier:

oai:arar.sci.am:258526

Location of original object:

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

Object collections:

Last modified:

Dec 8, 2023

In our library since:

Jul 24, 2020

Number of object content hits:

26

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Objects

Similar

This page uses 'cookies'. More information