Object

Title: Functional System of the Fuzzy Constructive Logic

Abstract:

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.

Identifier:

oai:noad.sci.am:135791

Language:

English

URL:

click here to follow the link

Additional Information:

zaslav@ipia.sci.am

Affiliation:

Institute for Informatics and Automation Problems

Country:

Armenia

Year:

2017

Time period:

September25-29

Conference title:

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

Place:

Yerevan

Participation type:

oral

Object collections:

Last modified:

Mar 3, 2021

In our library since:

Jul 16, 2020

Number of object content hits:

7

All available object's versions:

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

Show description in RDF format:

RDF

Show description in OAI-PMH format:

OAI-PMH

This page uses 'cookies'. More information