Object structure

Publication Details:

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

Journal or Publication Title:

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

Date of publication:

2013

Volume:

113

Number:

1

ISSN:

0321-1339

Official URL:


Additional Information:

click here to follow the link

Title:

О некоторых системах доказательств для интуиционистской и минимальной пропозициональных логик

Other title:

Ինտուիցիոնիստական և մինիմալ ասույթային տրամաբանությունների որոշ արտածման համակարգերի վերաբերյալ / Ս. Մ. Սայադյան, Անահիտ Ա. Չուբարյան։ On Some Proof Systems for Intuitionistic and Minimal Propositional Logics / S. M. Sayadyan, Anahit A. Chubaryan.

Creator:

С. М. Саядян ; Анаит А. Чубарян

Contributor(s):

Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)

Subject:

Mathematics ; Science

Uncontrolled Keywords:

интуиционистская (минимальная) логика ; интуи- ционистски (минимально) определяющий конъюнкт ; интуиционистски (минимально) определяющая дизъюнктивная нормальная форма.

Coverage:

13-21

Abstract:

Введены понятия определяющего конъюнкта и определяющей дизъюнктивной нормальной формы для пропозициональных формул, являющихся интуиционистскими (минимальными) тавтологиями. Описаны алгоритмы построения упомянутых дизъюнктивных нормальных форм для обеих неклассических пропозициональных логик. Продемонстрирован способ построения на основе описанных дизъюнктивных нормальных форм более эффективных систем доказательств для указанных логик. Ներմուծվել են որոշիչ կոնյունկտի և որոշիչ դիզյունկտիվ նորմալ ձևի գաղափարները ասույթային հաշվի այն բանաձևերի համար, որոնք ինտուիցիոնիստական և մինիմալ նույնաբանություններ են: Նկարագրված են նշված դիզյունկտիվ նորմալ ձևերի կառուցման ալգորիթմները երկու վերոհիշյալ տրամաբանությունների համար: Ցուցադրված է նաև այդ տրամաբանությունների համար նկարագրված դիզյունկտիվ նորմալ ձևերի հիման վրա առավել արդյունավետ արտածման համակարգերի կառուցման եղանակը: 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.

Place of publishing:

Երևան

Publisher:

ՀՀ ԳԱԱ հրատ.

Date created:

2013-03-20

Type:

Հոդված

Format:

pdf

Call number:

АЖ 144

Digitization:

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

Location of original object:

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