On Some Systems of Propositional Minimal Logic with Loop Detection - Համահայկական թուանշային գրադարան

Ցիկլերի հայտնաբերումով մինիմալ տրամաբանության ասույթային որոշ համակարգերի մասին; О некоторых системах минимальной пропозициональной логики с выявлением циклов

H. R. Bolibekyan ; A. R. Baghdasaryan

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

Mathematics ; Science

Բոլիբեկյան Հ. Ռ. ; Բաղդասարյան Ա. Ռ. ; Болибекян О. Р. ; Багдасарян А. Р. ; minimal logic ; proof theory; cut elimination; loop.

110-115

There exists different systems of I. Johansson's minimal logic. Looping is the mainissue in one of the Gentzen style system. Յոհանսոնի մինիմալ տրամաբանության համար գոյություն ունեն տարբեր համակարգեր։ Հենցենյան տիպի որոշ համակարգերում հիմնական խոչընդոտ է ցիկլը։ Существуют различные системы минимальной логики Йоганссона. В некоторых генценовских системах циклы являются одной из основных проблем. Добавление «истории»–один из подходов обнаружения цикла.

Երևան

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