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:

16

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