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

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

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

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

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.

Item Type:Article
Additional Information:Ինտուիցիոնիստական և մինիմալ ասույթային տրամաբանությունների որոշ արտածման համակարգերի վերաբերյալ / Ս. Մ. Սայադյան, Անահիտ Ա. Չուբարյան։ On Some Proof Systems for Intuitionistic and Minimal Propositional Logics / S. M. Sayadyan, Anahit A. Chubaryan.
Uncontrolled Keywords:интуиционистская (минимальная) логика, интуи- ционистски (минимально) определяющий конъюнкт, интуиционистски (минимально) определяющая дизъюнктивная нормальная форма.
Subjects:Q Science > QA Mathematics
ID Code:6100
Deposited By:NAS Reports
Deposited On:13 Jun 2013 15:30
Last Modified:13 Mar 2014 08:16

Repository Staff Only: item control page