Functional system of the fuzzy constructive logic

Igor D. Zaslavsky

doi:10.1109/CSITechnol.2017.8312135

Functional system of the fuzzy constructive logic

Igor D. Zaslavsky

Research output: Contribution to journal › Conference article › peer-review

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 H^(fcon). The notion of identically f-true predicate formula is introduced. It is proved that any predicate formula deducible in H^(fcon) is identically f-true.

Original language	English
Pages (from-to)	31-33
Number of pages	3
Journal	International Scientific and Technical Conference on Computer Sciences and Information Technologies
Volume	2018-March
DOIs	https://doi.org/10.1109/CSITechnol.2017.8312135
State	Published - 2 Jul 2017
Externally published	Yes
Event	11th International Conference on Computer Science and Information Technologies, CSIT 2017 - Yerevan, Armenia Duration: 20 Sep 2017 → 25 Sep 2017

Keywords

functional assignment
functional symbol
fuzzy ideal
fuzzy set
predicate calculus
recursive function

ASJC Scopus subject areas

Computer Networks and Communications
Information Systems
Information Systems and Management

Access to Document

10.1109/CSITechnol.2017.8312135

Cite this

@article{64017dc98bb34492ad100733f81169ae,

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 H(fcon). The notion of identically f-true predicate formula is introduced. It is proved that any predicate formula deducible in H(fcon) is identically f-true.",

keywords = "functional assignment, functional symbol, fuzzy ideal, fuzzy set, predicate calculus, recursive function",

author = "Zaslavsky, {Igor D.}",

note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 11th International Conference on Computer Science and Information Technologies, CSIT 2017 ; Conference date: 20-09-2017 Through 25-09-2017",

year = "2017",

month = jul,

day = "2",

doi = "10.1109/CSITechnol.2017.8312135",

language = "English",

volume = "2018-March",

pages = "31--33",

journal = "International Scientific and Technical Conference on Computer Sciences and Information Technologies",

issn = "2766-3655",

publisher = "Institute of Electrical and Electronics Engineers",

}

TY - JOUR

T1 - Functional system of the fuzzy constructive logic

AU - Zaslavsky, Igor D.

PY - 2017/7/2

Y1 - 2017/7/2

N2 - 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 H(fcon). The notion of identically f-true predicate formula is introduced. It is proved that any predicate formula deducible in H(fcon) is identically f-true.

AB - 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 H(fcon). The notion of identically f-true predicate formula is introduced. It is proved that any predicate formula deducible in H(fcon) is identically f-true.

KW - functional assignment

KW - functional symbol

KW - fuzzy ideal

KW - fuzzy set

KW - predicate calculus

KW - recursive function

UR - http://www.scopus.com/inward/record.url?scp=85050657723&partnerID=8YFLogxK

U2 - 10.1109/CSITechnol.2017.8312135

DO - 10.1109/CSITechnol.2017.8312135

M3 - Conference article

AN - SCOPUS:85050657723

SN - 2766-3655

VL - 2018-March

SP - 31

EP - 33

JO - International Scientific and Technical Conference on Computer Sciences and Information Technologies

JF - International Scientific and Technical Conference on Computer Sciences and Information Technologies

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

Y2 - 20 September 2017 through 25 September 2017

ER -

Functional system of the fuzzy constructive logic

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this