Intermediate Quantifiers in Partial Fuzzy Type Theory.

In this paper, we extend the partial fuzzy type theory (pFTT) by additional special connectives and prove some of their properties. Then we introduce the theory of intermediate quantifiers initially developed in the standard fuzzy type theory and extend it to pFTT, which enables us to deal with partially defined fuzzy sets as the universes of quantification. In the last section, we give four illustrative examples demonstrating how our theory works and how it can be applied.

Authors

• Vilém Novák

Keywords

No keywords are indexed for this paper.