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

О некоторых свойствах минимальных тавтологий классической и неклассических логик

Чубарян, А. А. and Амбарцумян, А. А. and Гаспарян, Г. А. and Ованнисян, С. А. (2020) О некоторых свойствах минимальных тавтологий классической и неклассических логик. ՀՀ ԳԱԱ Զեկույցներ, 120 (1). pp. 15-21. ISSN 0321-1339

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

Abstract

Для тавтологий заданной логики длины n доказано, что максимально возможное количество различных минимальных тавтологий имеет экспоненциальную оценку от n; доказана также монотонность пропозициональных секвенциальных систем без правила сечения для классической, интуиционистской, монотонной логик и логики Иоганссона. Ապացուցված է, որ տվյալ տրամաբանության n երկարությամբ նույնաբանությունների մաքսիմալ հնարավոր քանակը կարող է լինել ցուցչային ֆունկցիա n-ից առանց հատույթի կանոնի դասական, ինտուիցիոնիստական, մինիմալ և մոնոտոն տրամաբանությունների սեքվենցիալ համակարգերը մոնոտոն են։ It is proved in this paper that 1) number of minimal tautologies for any given logic tautology of size n can be exponentaial function in n, and 2) cut free sequent systems for classical, intuitionistic, Joganssons and monotone logics are monotonous.

Item Type:Article
Additional Information:Դասական և ոչ դասական տրամաբանությունների մինիմալ նույնաբանությունների որոշ հատկությունների մասին; On some properties of minimal tautologies in classical and nonclassical logic
Uncontrolled Keywords:Չւոբարյան Ա․ Ա․, Համբարձումյան Ա․ Ա․, Գասպարյան Հ․ Ա․, Հովհաննիսյան Ս․ Ա․, Chubaryan A. A., Hambardzumyan A. A., Gasparyan H. A., Hovhannisyan S. A., минимальная тавтология, количество шагов выводов, монотонность системы, строгая монотонность системы
Subjects:Q Science > QA Mathematics
ID Code:6572
Deposited By:NAS Reports
Deposited On:02 Jun 2020 19:55
Last Modified:02 Jun 2020 22:12

Repository Staff Only: item control page