Օբյեկտ

Վերնագիր: Functional System of the Fuzzy Constructive Logic

Հեղինակ:

Zaslavsky Igor

Տեսակ:

Conference

Ամփոփում:

The principles of constructive mathematics are applied to the fuzzy constructive logic. The preceding results of the author in fuzzy constructive logic are generalized for predicate formulas including (in general) functional symbols and symbols of constants. The constructive (intuitionistic) predicate calculus on the base of such formulas is considered; it is denoted by ����(���� ������������) . The notion of identically ����-true predicate formula is introduced. It is proved that any predicate formula deducible in ����(���� ������������) is identically ����-true.

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

oai:noad.sci.am:135791

Լեզու:

English

URL:

սեղմել այստեղ՝ կապին հետևելու համար

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

zaslav@ipia.sci.am

Կազմակերպության անվանում:

Institute for Informatics and Automation Problems

Երկիր:

Armenia

Տարի:

2017

Ժամանակահատված:

September25-29

Գիտաժողովի անվանում:

11th International Conference on Computer Science and Information Technologies CSIT 2017

Վայր:

Yerevan

Մասնակցության տեսակը:

oral

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

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

Mar 3, 2021

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

Jul 16, 2020

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

6

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

https://noad.sci.am/publication/149318

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

RDF

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

OAI-PMH

Հրատարակության անուն Ամսաթիվ
Igor D. Zaslavskiy, Functional System of the Fuzzy Constructive Logic Mar 3, 2021

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