Նիւթ

Վերնագիր: On Some Universal Propositional Proof Systems for Many-Valued Logic

Ստեղծողը:

Khamisyan, Artur A.

Տեսակ:

Հոդված

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

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

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

2020

Հատոր:

53

ISSN:

2579-2784

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

Խամիսյան Արթուր Ա., Хамисян Артур А.

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

Բազմարժեք տրամաբանության ասույթային հաշվի որոշ համապիտանի համակարգերի մասին; О некоторых универсальных пропозициональных системах выводов для многозначных логик

Ծածկոյթ:

21-28

Ամփոփում:

Some uniform Hilbert-like propositional proof system is suggested for all versions of many-valued logic to apply them to 3 versions of 3-valued logic, two of which have only one designated value, and the last one has two designated values. Սույն հոդվածում առաջարկվում է Հիլբերտյան տիպի համապիտանի արտածման համակարգ բազմարժեք տրամաբանության ասույթային հաշվի տարատեսակների համար, ինչպես նաև տրվում է այդ համապիտանի համակարգի ներկայացումը երեք տարբեր եռարժեք տրամաբանությունների համար, որոնցից երկուսը մեկ առանձնացված արժեքով են, իսկ վերջինը՝ երկու: В данной статье предлагается некоторая универсальная пропозициональная система Гильбертовского типа для всех версий многозначных логик и рассматриваются ее приложения для трех версий 3-значных логик, две из которых имеют одно выделенное значение, а последняя – два выделенных значения.

Հրատարակիչ:

Изд-во НАН РА

Ձեւաչափ:

pdf

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

oai:arar.sci.am:261603

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

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

Նիւթին հաւաքածոները:

Վերջին անգամ ձեւափոխուած է:

Dec 8, 2023

Մեր գրադարանին մէջ է սկսեալ:

Aug 27, 2020

Նիւթին բովանդակութեան հարուածներուն քանակը:

5

Նիւթին բոլոր հասանելի տարբերակները:

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

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

RDF

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

OAI-PMH

Հրատարակութեան անունը Թուական
Khamisyan, Artur A., On Some Universal Propositional Proof Systems for Many-Valued Logic Dec 8, 2023

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