Օբյեկտ

Վերնագիր: On the Minimal Fragment of S5 Modal Logic

Ամսագրի կամ հրապարակման վերնագիր:

ՀՀ ԳԱԱ Զեկույցներ = Доклады НАН РА = Reports NAS RA

Հրապարակման ամսաթիվ:

2021

Հատոր:

121

Համար:

1

ISSN:

0321-1339

Լրացուցիչ տեղեկություն:

Բոլիբեկյան Հ․ Ռ․, Բաղդասարյան Ա․ Ռ․, Болибекян О. Р , Багдасарян А. Р.

Այլ վերնագիր:

S5 մոդալ տրամաբանության նվազագույն ֆրագմենտի վերաբերյալ ; О минимальном фрагменте S5 модальной логики

Ծածկույթ:

7-12

Ամփոփում:

Two systems of propositional fragment of modal logic are constructed. One of the systems is Herbrand type while the other one is a sequential system. It is proved that every formula deducible in one of them is also provable in the other system.
Սահմանված են մոդալ տրամաբանության երկու ասույթային համակարգեր: Նրանցից առաջինը հերբրանյան տիպի է, իսկ մյուսը` սեկվենսային: Ապացուցված է այդ համակարգերի համարժեքությունը:
Сформулированы две пропозициональные системы модальной логики: эрбрановского типа и секвенциальная. Доказана формульная равнообъёмность рассмотренных систем.



Հրատարակիչ:

ՀՀ ԳԱԱ

Ձևաչափ:

pdf

Նույնացուցիչ:

oai:arar.sci.am:269506

Բնօրինակի գտնվելու վայրը:

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

Օբյեկտի հավաքածուներ:

Վերջին անգամ ձևափոխված:

Apr 26, 2021

Մեր գրադարանում է սկսած:

Apr 26, 2021

Օբյեկտի բովանդակության հարվածների քանակ:

6

Օբյեկտի բոլոր հասանելի տարբերակները:

https://arar.sci.am/publication/293558

Ցույց տուր նկարագրությունը RDF ձևաչափով:

RDF

Ցույց տուր նկարագրությունը OAI-PMH ձևաչափով։

OAI-PMH

Հրատարակության անուն Ամսաթիվ
Bolibekyan, H. R., On the Minimal Fragment of S5 Modal Logic Apr 26, 2021

Այս էջը օգտագործում է 'cookie-ներ'։ Ավելի տեղեկատվություն