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
![]()
| 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