Object

Title: Generalized Fuzzy Constructive Logic ; Обобщенная нечеткая конструктивная логика

Հեղինակ:

Zaslavsky Igor ; Заславский Игорь

Տեսակ:

Article

Ամսաթիվ:

2015

Ամփոփում:

A system of fuzzy constructive logic is considered in which the truth values are partially ordered. The notion of algorithmic scale of truth values (shortly, A-scale) is introduced; and on the base of it logical system of generalized fuzzy constructive logic is developed. The classes of identically true predicate formulas in strong and weak sense concerning a given A-scale are introduced. It is proved that any predicate formula of some kind deducible in the constructive (intuitionistic) predicate calculus is identically true in the strong sense concerning any A-scale. From the other side it is proved that some predicate formulas (which are identically true from the classical point of view) are not identically true in the weak sense concerning any A-scale.

Հրատարակիչ:

"GITUTYUN" PUBLISHING HOUSE OF NAS RA

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

UDC 621.39.1:519.34 ; oai:noad.sci.am:135785

Կոդ:

6256

ISSN:

0321-1339

Լեզու:

Russian

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

Reports of NAS RA

Հատոր:

115

Համար:

4

URL:


;

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

National Academy of Sciences of Armenia

Երկիր:

Armenia

Ինդեքսավորում:

ASCI

Object collections:

Last modified:

Mar 3, 2021

In our library since:

Jul 15, 2020

Number of object content hits:

53

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

This page uses 'cookies'. More information