Object

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

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

Other title:

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

Contributor(s):

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

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

Format:

pdf

Identifier:

oai:arar.sci.am:46563

Call number:

АЖ 144

Digitization:

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

Location of original object:

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

Object collections:

Last modified:

Oct 11, 2024

In our library since:

Mar 5, 2020

Number of object content hits:

19

All available object's versions:

https://arar.sci.am/publication/51909

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

Objects

Similar

This page uses 'cookies'. More information