Difference between revisions of "Relations in Fuzzy Class Theory: Initial steps"

From Mathfuzzlog
Jump to: navigation, search
(correct preprint link)
(erratum added)
 
Line 10: Line 10:
 
link=http://dx.doi.org/10.1016/j.fss.2007.10.012}}
 
link=http://dx.doi.org/10.1016/j.fss.2007.10.012}}
  
== Post-publication comments ==
+
== Errata ==
  
=== An author's comment on (I52) ===
+
* The first formula in the proof of (I21) in Th.4.6 should end with ''Rxz'' rather than ''Ryz''.
  
The clumsy proof of Corollary 4.11(I52) in the published version of the paper
+
=== 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.
 
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
 
The statement has in fact a trivial proof that uses just the monotony of the opening and closure operators

Latest revision as of 02:52, 9 June 2010

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)