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

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

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

2007

Հատոր:

28

ISSN:

0131-4645

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

կապին հետեւելուն համար սեղմէ հոս

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

Խիստ նորմալիզացիա առաջին կարգի տրամաբանության համար

Ծածկույթ:

45-50

Ամփոփում:

In this paper we discuss strong normalization for the ! 8 - fragment of first - order logic. The use of the method of collapsing types to transfer the result concerning strong normalization (that is, any derivation r is strongly normalizable) from implicational logic to ¯rst-order logic is illustrated (ref [1]). The considered result is improved by a complement, which states that for any derivation r and its collapse r c we need the same number of one-step reductions (the !1 rule) to bring them to their normal forms.

Հրատարակիչ:

Изд-во НАН РА

Ստեղծման ամսաթիվը:

2007-02-10

Ձևաչափ:

pdf

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

oai:arar.sci.am:258515

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

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