loading...
Semirigid Equivalence Relations - A New Proof Method
University of Calgary, Canada May 19-May 21
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2005.4335th International Symposium on Multi ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Masahiro Miyakawa, Tsukuba College of Technology, Japan
Ivo G. Rosenberg, Universit? de Montr?al, Canada
Hisayuki Tatsumi, Tsukuba College of Technology, Japan
We show by a purely relational method that the joint-endomorphism of Zadori's three equivalence relations on a set A, |A| > 2 is the clone consisting only of trivial functions, i.e., of the projections and constant functions. We use a so called "Wheatstone bridge" which is a device to yield an equivalence relation θ = W(α, β, 𝛾) from a triple α, β, 𝛾 of equivalence relations such that if a function f : A → A preserves α, β, 𝛾 jointly, then it preserves θ. We also present a notion of compositions of two semirigid systems which preserve semirigidity. As an application of the composition we give three families of systems of five equivalence relations that are semirigid on the set A with |A| = 4i, |A| = 3i + 1, or |A| = 3i + 2 for i≥ 1.
Citation:
Masahiro Miyakawa, Ivo G. Rosenberg, Hisayuki Tatsumi, "Semirigid Equivalence Relations - A New Proof Method," ismvl, pp.107-112, 35th International Symposium on Multiple-Valued Logic (ISMVL'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.