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

On Some Systems of Propositional Minimal Logic with Loop Detection

Bolibekyan, H. R. and Baghdasaryan, A. R. (2019) On Some Systems of Propositional Minimal Logic with Loop Detection. ՀՀ ԳԱԱ Զեկույցներ, 119 (2). pp. 110-115. ISSN 0321-1339

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

Abstract

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

Item Type:Article
Additional Information:Ցիկլերի հայտնաբերումով մինիմալ տրամաբանության ասույթային որոշ համակարգերի մասին / Հ. Ռ. Բոլիբեկյան, Ա. Ռ. Բաղդասարյան: О некоторых системах минимальной пропозициональной логики с выявлением циклов. / О. Р. Болибекян, А. Р. Багдасарян.
Uncontrolled Keywords:minimal logic, proof theory; cut elimination; loop.
Subjects:Q Science > QA Mathematics
ID Code:6435
Deposited By:NAS Reports
Deposited On:23 Aug 2019 12:22
Last Modified:26 Aug 2019 10:32

Repository Staff Only: item control page