Publication Details:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
Journal or Publication Title:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Date of publication:
Volume:
Number:
ISSN:
Official URL:
Additional Information:
Title:
O свойстве немонотонности некоторых систем выводов классического исчисления высказываний
Other title:
Creator:
Contributor(s):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Subject:
Uncontrolled Keywords:
Coverage:
Abstract:
Для некоторых «слабых» пропозициональных систем выводов классической логики доказано, что минимальные тавтологии могут выводиться гораздо сложнее, чем результаты подстанов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.
Place of publishing:
Երևան
Publisher:
Date created:
Type:
Format:
Call number:
Digitization:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան