Object

Title: On polynomially equivalence of minimal Frege systems

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

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

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

2007

Հատոր:

28

ISSN:

0131-4645

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

click here to follow the link

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

Մինիմալ ասութային հաշվում Ֆրեգեյի համակարգերի բազմանդամային համարժեքության վերաբերյա

Ծածկոյթ:

141-145

Ամփոփում:

In this paper is shown that any two minimal Frege systems polynomially simulate each other. This result is the extension of the similar result about polynomially equivalence of intuitionistic Frege system. The latter is proved by G. Mints and A. Kojevnikov [1].

Հրատարակիչ:

Изд-во НАН РА

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

2007-02-10

Ձեւաչափ:

pdf

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

oai:arar.sci.am:258527

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

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

Object collections:

Last modified:

Dec 8, 2023

In our library since:

Jul 24, 2020

Number of object content hits:

17

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Objects

Similar

This page uses 'cookies'. More information