ՀՀ ԳԱԱ Զեկույցներ =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:19 Dec 2019 14:05

Repository Staff Only: item control page