Publication Details:
"ՀՀ ԳԱԱ Զեկույցներ" հանդեսը հիմնադրվել է 1944թ.: Լույս է տեսնում տարին 4 անգամ:
Journal or Publication Title:
ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA
Date of publication:
Volume:
Number:
ISSN:
Official URL:
Additional Information:
Title:
On Some Systems of Propositional Minimal Logic with Loop Detection
Other title:
Creator:
H. R. Bolibekyan ; A. R. Baghdasaryan
Contributor(s):
Պատ․ խմբ.՝ Վ. Հ․ Համբարձումյան (1944-1959) ; Մ․ Մ․ Ջրբաշյան (1960-1965) ; Ա․ Գ․ Նազարով (1966-1983) ; Պատ․ խմբ․ տեղակալ՝ Վ․ Հ․ Ղազարյան (1983-1986) ; Պատ․ խմբ․՝ Դ․ Մ․ Սեդրակյան (1987-1999) ; Գլխավոր խմբ․՝ Ս․ Ա․ Համբարձումյան (2000-2004) ; Վ․ Ս․ Զաքարյան (2005-2018) ; Ռ․ Մ․ Մարտիրոսյան (2018-)
Subject:
Uncontrolled Keywords:
Բոլիբեկյան Հ. Ռ. ; Բաղդասարյան Ա. Ռ. ; Болибекян О. Р. ; Багдасарян А. Р. ; minimal logic ; proof theory; cut elimination; loop.
Coverage:
Abstract:
There exists different systems of I. Johansson's minimal logic. Looping is the mainissue in one of the Gentzen style system. Յոհանսոնի մինիմալ տրամաբանության համար գոյություն ունեն տարբեր համակարգեր։ Հենցենյան տիպի որոշ համակարգերում հիմնական խոչընդոտ է ցիկլը։ Существуют различные системы минимальной логики Йоганссона. В некоторых генценовских системах циклы являются одной из основных проблем. Добавление «истории»–один из подходов обнаружения цикла.
Place of publishing:
Երևան
Publisher:
Date created:
Type:
Format:
Call number:
Digitization:
ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան