Relations in Fuzzy Class Theory: Initial steps

From Mathfuzzlog

Authors:	Libor Běhounek Ulrich Bodenhofer Petr Cintula
Title:	Relations in Fuzzy Class Theory: Initial steps
Journal:	Fuzzy Sets and Systems
Volume	159
Number	14
Pages:	1729-1772
Year:	2008
Download from the publisher
Preprint

Errata

• The first formula in the proof of (I21) in Th.4.6 should end with Rxz rather than Ryz.

A comment on (I52)

The clumsy proof of (I52) in Cor.4.11 in the published version of the paper resulted from a trivial mistake discovered only when the final version was already submitted. The statement has in fact a trivial proof that uses just the monotony of the opening and closure operators and of min-intersection and max-union with respect to inclusion. -- LBehounek 16:16, 17 November 2008 (CET)