169
Views
6
CrossRef citations to date
0
Altmetric
Articles

α-Cuts and models of fuzzy logic

Pages 67-78 | Received 12 Jun 2012, Accepted 22 Jun 2012, Published online: 30 Jul 2012
 

Abstract

It is well known that any fuzzy set X in a classical set A with values in a complete (residuated) lattice Ω can be identified with a system of α-cuts X α, α ∈ Ω. In this paper analogical results are presented for sets with similarity relations with values in Ω (e.g. Ω-sets) which are objects of two special categories Set(Ω) and SetR(Ω) of Ω-sets and for fuzzy sets defined as morphisms from Ω-set into a special Ω-set (Ω, ↔ ). It is proved that also such fuzzy sets can be defined equivalently as special cut systems (C α)α. Finally, models of first-order fuzzy logic based on these cut systems are defined and relationships between interpretations of formulae in classical models (based on Ω-sets) and in models based on these cut systems are investigated.

Acknowledgement

This work was supported by the European Regional Development Fund in the IT4Innovations Centre of Excellence project (CZ.1.05/1.1.00/02.0070).

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.