Օբյեկտ

Վերնագիր: O свойстве немонотонности некоторых систем выводов классического исчисления высказываний

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

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

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

2018

Հատոր:

vol. 118

Համար:

№ 1

ISSN:

0321-1339

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

"ՀՀ ԳԱԱ Զեկույցներ"-ը հիմնադրվել են 1944թ.: Լույս են տեսնում տարին 4 անգամ

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

Դասական տրամաբանության ասույթային հաշվի որոշ համակարգերի ոչ մոնոտոնիկ հատկության մասին / Ս. Մ. Սայադյան, Ա. Ա. Չուբարյան։ On Some no Monotonous Property of Some Propositional Proof Systems of Classical Logic / S. M. Sayadyan, A. A. Chubaryan.

Ծածկույթ:

20-25

Ամփոփում:

Для некоторых «слабых» пропозициональных систем выводов классической логики доказано, что минимальные тавтологии могут выводиться гораздо сложнее, чем результаты подстановoк в них. Ապացուցվել է, որ դասական ասույթային հաշվի որոշ «թույլ» համակարգերում մինիմալ նույնաբանությունները կարող են ունենալ էապես ավելի բարդ արտածումներ, քան նրանցից ստացված տեղադրման արդյունքները: For some “weak” propositional systems of classical logic it is proved that minimal tautologies can be deduced essentially harder, than results of substitutions in them.

Հրատարակիչ:

ՀՀ ԳԱԱ

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

2018-03-15

Ձևաչափ:

pdf

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

oai:arar.sci.am:46833

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

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

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

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

Feb 7, 2021

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

Mar 5, 2020

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

1

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

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

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

RDF

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

OAI-PMH

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