"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Введены понятия определяющего конъюнкта и определяющей дизъюнктивной нормальной формы для пропозициональных формул, являющихся интуиционистскими (минимальными) тавтологиями. Описаны алгоритмы построения упомянутых дизъюнктивных нормальных форм для обеих неклассических пропозициональных логик. Продемонстрирован способ построения на основе описанных дизъюнктивных нормальных форм более эффективных систем доказательств для указанных логик. Ներմուծվել են որոշիչ կոնյունկտի և որոշիչ դիզյունկտիվ նորմալ ձևի գաղափարները ասույթային հաշվի այն բանաձևերի համար, որոնք ինտուիցիոնիստական և մինիմալ նույնաբանություններ են: Նկարագրված են նշված դիզյունկտիվ նորմալ ձևերի կառուցման ալգորիթմները երկու վերոհիշյալ տրամաբանությունների համար: Ցուցադրված է նաև այդ տրամաբանությունների համար նկարագրված դիզյունկտիվ նորմալ ձևերի հիման վրա առավել արդյունավետ արտածման համակարգերի կառուցման եղանակը: The notions of determinative conjunct and determinative disjunctive normal form for propositional formulae, which are intuitionistic (minimal) tautologies are introduced. Some algorithms for construction of mentioned disjunctive normal forms for both nonclassical propositional logics are described. The way of construction based on the described disjunctive normal forms of more effective proof systems for the mentioned logics is shown.
Երևան
oai:arar.sci.am:46563
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան
Oct 11, 2024
Mar 5, 2020
19
https://arar.sci.am/publication/51909
Edition name | Date |
---|---|
О некоторых системах доказательств для интуиционистской и минимальной пропозициональных логик | Oct 11, 2024 |
E. P. Serrano M. I. Troparevsky M. A. Fabio Գլխավոր խմբ․՝ Մ․ Մ․ Ջրբաշյան (1966-1994) Ռ․ Վ․ Համբարձումյան (1994-2009) Ա․ Ա․ Սահակյան (2010-)
Edita E. Gichunts
Sargsyan, Shushanik A. Edita G. Gzoyan
H. V. Astsatryan V. G. Sahakyan Yu. H. Shoukourian Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) Մ․ Մ․ Ջրբաշյան (1960-1965) Ա․ Գ․ Նազարով (1966-1983) Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) Վ․ Ս․ Զաքարյան (2005-2018) Ռ․ Մ․ Մարտիրոսյան (2018-)
Seda N. Manukian
Board Editorial Պատ․ խմբ՝. Հ․ Գ․ Ինճիկյան (1966-1968) Գլխավոր խմբ.՝ Ծ․ Պ․ Աղայան (1969-1972) Վ․ Ա․ Միքայելյան (1972-1987) Ա․ Ա․ Խառատյան (1988-2017) Պ․ Ավետիսյան (2017-)