Fuzzy constructive logic

I. D. Zaslavsky

doi:10.1007/s10958-009-9410-6

Fuzzy constructive logic

I. D. Zaslavsky

Research output: Contribution to journal › Article › peer-review

1 Scopus citations

Abstract

We introduce a logical system in which the principles of fuzzy logic are interpreted from the point of view of the constructive approach The language of predicate formulas without functional symbols and symbols of constants is considered. The notion of identically trae predicate formula in the framework of the introduced logic is defined; two variants of this definition are given. Theorems concerning identically true predicate formulas are proved. Some connections between the introduced logic and the constructive (intuitionistic) predicate calculus are established. Bibliography: 40 titles.

Original language	English
Pages (from-to)	677-688
Number of pages	12
Journal	Journal of Mathematical Sciences
Volume	158
Issue number	5
DOIs	https://doi.org/10.1007/s10958-009-9410-6
State	Published - 1 May 2009
Externally published	Yes

ASJC Scopus subject areas

Statistics and Probability
General Mathematics
Applied Mathematics

Access to Document

10.1007/s10958-009-9410-6

Cite this

@article{bdd2fa777a3047b293b84ada40aa182e,

title = "Fuzzy constructive logic",

abstract = "We introduce a logical system in which the principles of fuzzy logic are interpreted from the point of view of the constructive approach The language of predicate formulas without functional symbols and symbols of constants is considered. The notion of identically trae predicate formula in the framework of the introduced logic is defined; two variants of this definition are given. Theorems concerning identically true predicate formulas are proved. Some connections between the introduced logic and the constructive (intuitionistic) predicate calculus are established. Bibliography: 40 titles.",

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

year = "2009",

month = may,

day = "1",

doi = "10.1007/s10958-009-9410-6",

language = "English",

volume = "158",

pages = "677--688",

journal = "Journal of Mathematical Sciences",

issn = "1072-3374",

publisher = "Springer Science and Business Media Deutschland GmbH",

number = "5",

}

TY - JOUR

T1 - Fuzzy constructive logic

AU - Zaslavsky, I. D.

PY - 2009/5/1

Y1 - 2009/5/1

N2 - We introduce a logical system in which the principles of fuzzy logic are interpreted from the point of view of the constructive approach The language of predicate formulas without functional symbols and symbols of constants is considered. The notion of identically trae predicate formula in the framework of the introduced logic is defined; two variants of this definition are given. Theorems concerning identically true predicate formulas are proved. Some connections between the introduced logic and the constructive (intuitionistic) predicate calculus are established. Bibliography: 40 titles.

AB - We introduce a logical system in which the principles of fuzzy logic are interpreted from the point of view of the constructive approach The language of predicate formulas without functional symbols and symbols of constants is considered. The notion of identically trae predicate formula in the framework of the introduced logic is defined; two variants of this definition are given. Theorems concerning identically true predicate formulas are proved. Some connections between the introduced logic and the constructive (intuitionistic) predicate calculus are established. Bibliography: 40 titles.

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

U2 - 10.1007/s10958-009-9410-6

DO - 10.1007/s10958-009-9410-6

M3 - Article

AN - SCOPUS:67349255238

SN - 1072-3374

VL - 158

SP - 677

EP - 688

JO - Journal of Mathematical Sciences

JF - Journal of Mathematical Sciences

IS - 5

ER -

Fuzzy constructive logic

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this