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

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

ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA կիրառում է «Ստեղծագործական համայնքներ» հեղինակային իրավունքի արտոնագիրը համաձայն որի հեղինակները պահպանում են իրենց հոդվածների հեղինակային սեփականության իրավունքը, ինչպես նաև հեղինակը թույլ է տալիս ցանկացած անձի բեռնաթափել, օգտագործել, վերատպել, ձևափոխել, տարածել հոդվածները այնքան ժամանակ, քանի դեռ հոդվածի իրական հեղինակ(ներ)ի և սկզբնաղբյուրի վրա կատարվում է հղում։ Հիմնական դեպքերում սույն արտոնագրի սկզբունքը կարող է իրականացվել պարզ մեջբերման տեսքով: Արտոնագրման սույն տեսակը նախագծվել է որպեսզի հեշտացվի բաց մատչելիության հրատարակչական մոդելի տարածումը: Գիտական աշխատանքների համար կիրառելով արտոնագրման այս մոդելը, ստեղծվում են նախապայմաններ հրապարակումները ազատորեն հասանելի դարձնելու հանրությանը

ՀՀ ԳԱԱ Զեկույցներ =Reports NAS RA applies the Creative Commons Attribution License (CCAL) to all works we publish. Under the CCAL, authors retain ownership of the copyright for their article, but authors allow anyone to download, reuse, reprint, modify, distribute, and/or copy articles, so long as the original authors and source are cited. In most cases, appropriate attribution can be provided by simply citing the original article. This broad license was developed to facilitate open access to, and free use of, original works of all types. Applying this standard license to your own work will ensure your right to make your work freely and openly available.