Fuzzy quantum logics
Abstract
Lukasiewicz quantum logic (LQL) is a particular example of a fuzzy quantum logic. LQL is semantically characterized by the class of all quantum MV algebras. The standard quantum MV algebra is based on the set of all effects in a Hilbert space. From the physical point of view, effects represent physical properties that may be noisy and ambiguous.
Full text
!" # $% ! " ! # $ %& ' ! " # $ ! " $ %&$ '$ ("$ )$ *$ + , $ ! ! # , $ ! % - .- .+ ! /" %- .$ - .+ $ " " 0/ 0 0 1 $ 2 2 " 2 % + 3 0 0 " 4
" 5 $ " " ! " -6$7./"1 8 -6 7. %7+ %+ 879 86 %+ 8 % + %+ 8 : : 7 % $ + ; 1 8% + %+ 8% + %4+ 8% + %<+ 8 %=+ ; " $ $ $ / " -6 7. % + ; -6 7./ > &? 1 ( $ &? 8 1 $ 2 ) &? $ 2 $ 0 %$ 0+ 2 " ! " & - . $ % + , $ % @ - .+ &? $ 0 0 % + " "1 $ $ $ " &? % A&? + 5 B " "$ > " <
3 $ 5 B $ C / D 2 " EF >$ "/ %$ "$ + , $ $ / 2 ) , $ $ " -6 7.1 % + -6 7. %G+ B "$ H 01 0 $ , % + % + 0 " , $ 9 0 2 0 1 0 % 7+ 9 $ % $ " 6 7+ 2 > 7, $ B "$ % +$ "" B -6 7. $ / % + ! A&? 1 % +8 % + %I+ 5 % + 1 %+ 87, % 7, + %+ 8 ; % ; + =
%+ 8 : : % +9 7, % : /+ %"+ 87, $$ -6 7./ / %$ 1 % + % ++ ; " &? 5" &? > % ! >1 % + 8% + + " 2 $ 0 0 " 2 &? % + 0 , Æ1 18 : : % +9 7, %+ / 2 $ 0/ 2 $ $ 0 " % + 5"$ $ " / " 2 A&? % + % + - . 3 &? $ A&? > %- .+ ! > %37+/%3G+ A&? &? 1 %37+ % + 8 % + %3+ 8 %34+ ! 8 %3<+ " 8 G
%3=+ # 8 %3G+ $ 8 %37+/%3G+ " @ %- .$ 8% + % % % &'()* ! +,- +, % + 8% + 8 % % % ) )( % &'()* !- +., /( % +8 +0, /( % + 8% +% + +1, 2 )( % % + +8% +% % + + +3, 4 )( % +8 +5, 6 $ ) % +% +8 H" &? A&? $ &? $ -6 7. " > &? # " > &? $ $ , &? % + % -6 7. +$ $ -6 7. 1 % +% + 8 & 7 % +: % + %47+ % +% + 8 7 % +%4+ % + 8 7 % +86 %44+ I
2 " ) %- .+$&? &? % &? > + ; % + A&? 2 " $ % + &? $ " %&?+ 5"$ % + &? 1 % + 7, 7,$ -6 7. ( &? $ A&? % + 5"$ $ 7 1 %A!+ 8 8 3 " 7 % 8 + ; " A&? ) "&? A&? $ $ $ " / &? ! " $ " " &? &'()* 7 A&? A " " " / % "+ , $ 7 0 0 / > 3 " % 1 " / 9 " / + , 0 $ > " " J > C $ % + % % 8 9)% : ;% )
%- +<., /( % + 8 % + 8 : +<0, /( - % + % % ++. 8 - % + %% + + % +8% + . : +<1, 4 ! 2 9 % 7 :: 8 : +<3, /( % + 8 8 : J " % - .+ )( % % - .+ ; " " % (/ +$ " 'K *" - .$ ("L0 M"N%- .+ 2 % % % % + %J;27+/%J;24+$ 1 %J;2<+ % + 8 8 % + / % + $ %+ % + : % + % + 8 8 : 9 %+ $ "9 $ / " B 1 7, % +9 $ % 7, 7,+ 7, 8 ; ( % +$ 0 % +" 5$ / 0 > 7 % - .+ ; > / " ' 8 % %: % ) Æ 18 9)% 8 % +9 %<7+ ;% Æ 7 %- .+ O
@ %- .+ " Æ " 1 7+ > 9 + > " B " "$ % + ! " # $ "&? $ %" * - .$ - .+ 1 ,+ H" &? &? ,,+ 2 &? &? 2 &? 2 A&? 1 " 7 %- .+ 2 $ ! A&? 3 1 , A&? > D , % + > D 2 % + A&? D %# -7. ! M )$ 4 ** % $ * P & %7OG+$ 74=GQ74IO O6