EQ-algebra-based Fuzzy Type Theory and Its Extensions

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61988987%3A17610%2F11%3AA1200VNT" target="_blank" >RIV/61988987:17610/11:A1200VNT - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
EQ-algebra-based Fuzzy Type Theory and Its Extensions
Original language description
In this paper, we introduce a new algebra called `EQ-algebra', which is an alternative algebra of truth values for formal fuzzy logics. It is specified by replacing implication as the main operation with a fuzzy equality. Namely, EQ-algebra is a semilattice endowed with a binary operation of fuzzy equality and a binary operation of multiplication. Implication is derived from the fuzzy equality and it is not a residuation with respect to multiplication. Consequently, EQ-algebras overlap with residuated lattices but are not identical with them. We choose one class of suitable EQ-algebras (good EQ-algebras) and develop a formal theory of higher-order fuzzy logic called `basic fuzzy type theory' (FTT). We develop in detail its syntax and semantics, and weprove some basic properties, including the completeness theorem with respect to generalized models. The paper also provides an overview of the present state of the art of FTT.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)