Quasi-arithmetic means and OWA functions in interval-valued and Atanassov's intuitionistic fuzzy set theory

In this paper we propose an extension of the well-known OWA functions introduced by Yager to interval-valued (IVFS) and Atanassov’s intuitionistic (AIFS) fuzzy set theory. We first extend the arithmetic and the quasi-arithmetic mean using the arithmetic operators in IVFS and AIFS theory and investigate under which conditions these means are idempotent. Since on the unit interval the construction of the OWA function involves reordering the input values, we propose a way of transforming the input values in IVFS and AIFS theory to a new list of input values which are now ordered

Failure of interpolation in the intuitionistic logic of constant domains

This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation property holds.Comment: 13 pages, 0 figures. Overlaps with arXiv 1202.1195 removed, the text thouroughly reworked in terms of notation and style, historical notes as well as some other minor details adde

Failure of interpolation in the intuitionistic logic of constant domains

This paper shows that the interpolation theorem fails in the intuitionistic logic of constant domains. This result refutes two previously published claims that the interpolation property holds.Comment: 13 pages, 0 figures. Overlaps with arXiv 1202.1195 removed, the text thouroughly reworked in terms of notation and style, historical notes as well as some other minor details adde