ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA

O свойстве немонотонности некоторых систем выводов классического исчисления высказываний

Саядян, С. М. and Чубарян, А. А. (2018) O свойстве немонотонности некоторых систем выводов классического исчисления высказываний. ՀՀ ԳԱԱ Զեկույցներ, 118 (1). pp. 20-25. ISSN 0321-1339

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
155Kb

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.

Item Type:Article
Additional Information:Դասական տրամաբանության ասույթային հաշվի որոշ համակարգերի ոչ մոնոտոնիկ հատկության մասին / Ս. Մ. Սայադյան, Ա. Ա. Չուբարյան։ On Some no Monotonous Property of Some Propositional Proof Systems of Classical Logic / S. M. Sayadyan, A. A. Chubaryan.
Uncontrolled Keywords:минимальная тавтология; «слабые» системы выводов; сложностные характеристики выводов; монотонные системы
Subjects:Q Science > QA Mathematics
ID Code:6370
Deposited By:NAS Reports
Deposited On:10 May 2018 10:39
Last Modified:10 May 2018 10:39

Repository Staff Only: item control page