Representation of a Boolean algebra by its triangular norms
Abstract
Given a complete and atomic Boolean algebra $B$, there exists a family $\tau_{\gamma}$ of triangular norms on $B$ such that, under the partial ordering of triangular norms, $\tau_{\gamma}$ is a Boolean algebra isomorphic to $B$, where $\gamma$ is the set of all atoms in $B$. In other words, as we have shown in this note, every complete and atomic Boolean algebra can be represented by its own triangular norms. What we have not shown in this paper is our belief that $\tau_{\gamma}$ is not unique for $B$ and that, for such a representation, $B$ needs neither to be complete, nor to be atomic.
Full text
!!"""# $% !! !" # $ # #% &' ( )* " $ " + $ , # - . " / 0 % " # $ $ 0 " 1 0 " / 2 0 0" 3 " /% 2 (!
(. " " + 0 " , " , % " " 1 4 " 5 # #% ' " 4 4 " / 4 " 6 & * " , $7 &3* & * 2 & * & * &38* 2 &* &3!* &* &3.* 2 & *" 2 2 2 &* '" # " " 2 2 " 9 " '
! " #"$ $ %" & (' 3 0 " / 2 2 0 "/ " 2 2 3% 0 % " 6 % $" ! 2 2 , 7 : & * / 0 " 3 0 0 " 2 7 2 2 &* &8* 2 &!* 2 6 % ; 0 " 2 2 2
(( " 2 2" + % " < &38* &3.*" &3!*7 6 " / " 2 2 " # 2 2 " 2 " # 2" 3 2 2" " = 2 " / " 3 2 2 " &3*7 6 " /& * 2 & *" " # " / % " < &*7 6 22 " 3 & * 22 & *" < &8*7 6 2 " 3 & *2 & * 22& * < &!*7 6 2 " 3 < &8*" < &.*7 6 " 3 & * 2& * & *2 & *" & * 22 & * " # "3 & * 2& * & *2 & *" 3 &3* " 6 4 " 4 & * " + 0 0 " # 8 " + "6 " 2 2 2 " 2 2 2 " 2 2 2 " 2 2 2 2 "< " " 3 2 2 2 " / "
! " #"$ $ %" & () # 8 2 7 $ # % ¼ ! 2 ¼ 2 ¼ ¼ 2 ¼ 2 ¼ " " 4 6 " 6 ¼ 2 ¼ 2 ¼ 2 ¼ 2 , = 8 4 " 9 ¼ & * " < " &' ! 2 2 ¾ # & & ( ) '
(> $ ¾ "= ¿ 4 ! 2 $ 0 ¿ " + $ 3 ( 0 ¿ " * ?" " , =" # ?" " ," ," &@)@* 8.A!" 8 5"B" = + 3" ," " # " &@.* 8>>A!@" ! C" + D " E" ," #" 9#, &@.8* '!'A'!)" . ," - ?" " ," ," &@)* '8A')" ' 4" # ," #% + D ?" " &@(* !!A!!." ( 4" # ," #% ,! - D" " F &@(* (@A>(" ) 4" # ," #% ,! D" " F &@(!* (@A>"