Deduction in many-valued logics: a survey

                            !"  #$ %&'()  $     *+    , -. /!  -,  0 1)'23 0 0 4!                         ! !"         "  #$ % #   &            '   ( )*+       (,, +$ -        .    (,+$ /   #           #$ 0         &        $ %   #  1          #       $ -                   &&&  2#  &  $ 3  &           !$ 4  &      (,5,..+$                    !  "  #$ !  #"% * )     !"#$%&                                   &    6  7 !  ""      #  (**+        ""#     ""         &   $ 4""  &&    &        7 )   "       6       $  8         #   9                     $ - !    # 6 :!   (,5+     (,+     (5;+    (;;+   (+   (*;+               (,+   (+  &  1& (); ;+   (*+    (,,5+    -/ (.;.+$ % !                   (,5+  "" (**+        < 1    (*+    (;+$           =1     =    !       $ 7   &       ()+   7 (,,5+    (.+     (.5+$ -   &        &         6                  #  >#$         &  # =            $ ?     # & = <   $ %     @      &    844         A        $ '$#  ()$ *#"+ ,( )     844   <               $ %                        @$     A                         &    $ -    !      844       $ /      !      @    &  A                         &    A                  $      $                $         &         $ :             $ 3     !    844   /    #     &1&  $ 4 !   A              $ /  &     " <  $ % !     #     >       &           &   6     >#  $   A             $ 8 #      #   $ %      A                      &              &             9     &                9     9         6    #           >#         $ %  !  >#           >#          =            A$ -       #  !                >#$ %  !            &            A         $ %   #           A                 $                #  $ :             6     &        >#                 65        &       >#   $ /     &    A    >#       #      A        ¼            B       &       &        844$ %                844              & "  C  DE   <  $ %&  )5     !"#$%&      6  &         5 &       $ /  #  & 1      844           $ F           844       #    $         /    &   #          $  /                          #                   $ (5;+$ 7 & 1&       GH  &1    (+  #      <H  (*+  #   $ %       &         1& (); ;+  (+  (.)+$ 3      #       >  & !  &    $ %        #       # &               !  $  &                  &      D  E         $ $ $    $ %          !   (,5+  ""  (5.+$ 7    #       9         & # (;;+ !   "" $ 8     #                 &   9           !     !   $ %  Æ      % (,;+    (5+$  8        # &  6       $ - &   #         & ! &   !              & # $ % !        &              &                  $ '$#  ()$ *#"+ ,( ).  &    #              1    >   $ 4 !            &$ - &        ""   $ /  1       &         & &  &      $ %        #                              =            $ 7       &  # 6 #                  $ %              !       $ %       &  # $         3! &      =     $                        $    &             H  H    #       $  %       $ 4 !       #                 $ /      (,,+        &                      <  $ /       &    $            =        $ /   &          $ % ! <                 $ /                      !        $ -           &         $ -         &&      $ :         $ /          5                    $ /                   $ );     !"#$%& %              # &              '  1   !     ! $   / &           $ B    1&          &$         1&      -/ (.; .+    (.,+$ <H             &6  1&     (+   (.)+$ %         1&     $ I  (,+      &     $ I H  &   (,+ &    7 )$ -              (. 5+$ B         &          $ % =  J        $ %   Æ                 $ /           &        $ %    #  >  =    &&       &   $ / (5+              $    &           $ %           & $ 4             1&      $ %                D E               !         844     >   D E (;5*5)*+$ I                  &                           &          $/        (,*+$ /          &         &  1     $ /          &          >                        $ 7         &       >    (;+$ /   1            #   (;5*5+$ /  1&   #   $ B     1&       &      '$#  ()$ *#"+ ,( ),      1         #$      0  7 5$     6            &    65            >#$ 7            &  7 ,$ 4     >#       $ /  & &     $ 4    >         (5;+ &                                    $ -  ! &         !        &   ""  (,;+$ GH      ! &               %  7$ F                 BK (,*+$ %  "     &               7 5$.$ -          >     $ 4 2       >#      #         $ % (;+        %   7  $ L  (,*+  L(,)+&  >#              "$ 0   & "  >#        (*5+$ -  # !     &  &  0 M %>H (5,+      &            &$ 7  & !        &      #    A !  A !             $$    6                    A     $ ! "#$ 8          ! &1&            $ -       ! $    !$            &=       $ /      !  !       $ )*     !"#$%& -       &        =      &  !$ -            Æ                $ F                 & # #       7 ;$$ -  >            &   &    $ F          #  B  G 5?34  N      7 ,$ %  &'   ( ) /    > &              $ %           ();).+      (;,;*+        (;)+$ -    ( + &    &              &     N (.+&                $ (.+ &       ,     #    $ -  &1             (;+$ /    &  !    (.+$        -                    & 6  "   2                 9   !  B   $ # "   2                         &    !   9   !     !$ @         # 1        1  DE$ F         Æ             ! 6 &    &1        !" !$ - & !              &     D!E     '$#  ()$ *#"+ ,( ))        $ 4  &           #  $ % D E  #     &   &       $  4  &   Æ &   #        $ %        &                   $  * +  , B      &1&      !   &   (5;55+$ D/E I"      &   - (+BK (*+$ -  !              71 (;+ &  "  (;+$ %                &             &                       # #$  "# +  , -         && !        &         $        J!       7 5$.6 -          &           &            !     #       !          $ B        A !     2$ :   &       !           &                           6  $   A                    A                                ½       ¾                            !     "        ! "   ½             ! "   ¾             ! /     & #  BK (,,+     &$ -    &     >#   "   71"$ F       %               $  &      '() *  +,-.%  &     / 0        )   ) % ;     !"#$%& <              1$ 8  !     &     &  !   !  &   $ F     7 .$5$;$ $ F  @ /'/  334 0  @ $ 0 M                 $ - (55+     (5.+          &1       $ 5$ /      =    334      1 (;+  &    $ .$ N   &        (*+$ - #            $  - -  . + 0        N $$ &      (,+$ :!  > $         &         B $ -        # & !    $ 3      74@     -@$ -     (.5+                     * &             # $ <   ?34          $ 7 ;$    &         ()+$ -        ())+      *          #    9    #   $          $ F     <H  ()+       %& ' &                      !        $ %            !    ! $ %     %& '     @ 3 ()+$  ()+ &  -@  74@         (+$ -@   74@      "    7 .$5$5            $ '$#  ()$ *#"+ ,( , N 1    =    6 &                     $    1  > &    > "$ / ,    &  2     &     $ /          1            &  > >         $ %           &    $ -  >  #     >  1    &         (5  ,+$ -          "  >      (+$ 3 -@    (*+ & (+&  "  $  !      -             &        !   $7  = &    !  $ 8 &   $ -       (;+ &   #    # Q1&"   3@$ - =    &1    !   " &   BK (,+$ -  #        7 7 5$.  .$5      !       &     #      3@        3@$       ?34    57-%      &   3@ (;+     &   &   ()+     3? ()+$ /    57-%           V        V           ?34  V                       #!         (;+$ -  #       B  &        Æ  &  $ % #   &   (;5+ &   & !                B    ! &  A   A !   A            $ / (*5+   &   !       &     B        =         $ / (;5+                    *     !"#$%& ?34   $ 4   &  A     #!     B    (*5;+$ 0      6    B  &      (+$ %        $ %          &6           !   $ /                    $ 4       &    &  !   #      " &            &   1&              (;+$ 4 #                  $ (*+         #  >  ?34  & &  !                $ %             "      % $ -    1&   #   &  & !    (;.+$  M F (*+        B  5?34           B    & &1 &   (;+$ %  &           # Q1&"              7    &1    &  !   >   1&  1  (,+$ - &       (.+$ -   NN   $ 7 !   1  NN    !  (.+ &         $ /   1  NN  !  &  !$ /  !  #  Æ   $ / (.+      !  &      $ % &     ! 1   N34     &    (.5+$ " # 0 %   (5),;+           " >        > 5      # #  $ /            & $ ¿  1  2 (  %   (   (,+      G           #   &  '$#  ()$ *#"+ ,( )  & >9     @$  (         #   &  #     $ B        $ :Æ     & >   $ ?   #       #   (.,+       (*,+   #$ /                   1    ! $ F       !  "      !               "$ %  N %(,+       (      ?$ /             H $ 0  / / (5+        &           !    &  (;+$ F       (,5.5+$ -  1&           $ 4  H &     2   ! &   1&    !     >1     1$ 4        #        (,.+$ :     1&  !       &        B1  $ -                 (,5.5+$ 0(( /   NN $ 7 .$5$.     (..+$ $ #   %&' ( 7   &         (, ? )+$ %    (,+&  Q1&"            &      $        " $  3 %       &     &   (*)+$ 4 #    #        (5*,+$ / & #                    (5)5);+$      !"#$%& & 4 ! %        1         !     ()+$           &   ().+$ ( 2 5, ! 7              1&   (;;*)+           7 ;$.$ 7 #(,)+ !              1&   =   &  $ / ()+        $ -  &1      1&  &   (.*+$ -         (;5+$ 66 %  ""     ""  (5.+  &    2   2    D )     E )                    "" $ / (;+  =             $  1         H  &  $ 4"" ?                        &            $ #   % # !    &  (5+     <    (*+$ -   1&                $ /           7 5$5 &            $ % &      Æ    &     / / (5+   7 *$ )             Æ    !       "#$%&'(& &&" ( ) *+, - .!  * /   0 /     , 1 /  +!     2             3%454'4( &&6 4 ) *+, - .!  * /    , 1 ,7  + !     2    897 : 8 1      :      !       ;'(" 1 <, ) &&  = '$#  ()$ *#"+ ,(  6  >  ) . ?   ) 8 @    !     +A 0< &;" " 1 : B :        (;#3$%"5&'"3 ) &;C 3  0   D 8 : ) "    #$  ! !   @!  &;" ; :  !  -   0 . E  +        FG :       C#4$%('(4  &;& C    0  +   G7 7 H    %  ;#'($%4'(6 ) &&; &  ! D 4+! I      %!&   "3#$%(;3'(&6  && 5  :  ,  - J 0  +!    >B!       # #'() /D 3(6  5;'C 1 +> &&(   :  ,  - J 0+7  !  +!    %!&   $%4"4'4&   &&" (  : ,  -J  0 K 1    +    +!    )*  %!  +,-  ./- %   (5C'(4 ...  /  &&4 4  :  0 K D     +!     0    %  6C%";'36  &&( 6 : :B 0 ?J   .+ 1 G  +!    +B  : <&; @!J = -BJ J B  &&; " : :B 0 ?J     1 E 7+7  !     ! 65   077  ) 1   1*   2- 3 034/- % ! 56  %   454'45; 1 +> &&3 3 , :  D  0 D  > 17 2         ! 7    +  6#3$%;C'(" D! &&6 ; D 8 : )   +!   )  8   .   +   $   C'4; 0 8 &;; C ?  :  > 1 17     = > D      5  %3 !    % ! (C;  %   465'435   8 &C; 1 +> & ?  :  > 1 17      %  3C#($%4"'"6 &C& (5  :B E+!   H  G  ! 5    L>%4C;'65 &&      !"#$%& (  :  E7      ! +!  E 0  &6+C 1H >G 0, 8   ,  1 @!  M   &&6 (( / :  :HB +!, 1"  5  1 + > &&( (4  : 1  %  !    +  % 6 5  5- +    #$%3'C   &&; (6 = 1 : 0 / 0  0 . : .Æ     :88 B   )  +/ 2     65'6" ...  /  &&5 (" 0 = :  8 ? , E    / 1!+>  +7   ,% %!  =H : &C6 (3 0 . :  +7   :          ,+4"%3;;'3& &C3 (; 0 . : 17 7     H  7  +  +  %$!  (6#4$%(&4'4C 1  &&( (C 0 . :  ,+) ? 1 - !G     7      .  ,B  0  =   ,"    )  ,'(8  /D,1 "4  44'64 1 +> && (& :  :  . ? 1N #0 %!"  +9     % :  ;  +A0+ < &C6 45  ,   1    2     + !    +      C#$%(&'"5 &&; 4 0 ,  D K7      +!     +    %       72+7  !   +%'(8-   6+! %!     (4'4( &&5 4( ) , ) ) /  0   ) 1J 1   %           (  %!  +    %!- <4-  ! 5;&  %   (5('( 1 +> &&3 44 A  , 1  G +!       72   %!&   "(#($%6;4'6&4 ) &C; 46 : ,7+8 :  0     E  7 + G    #$3  #3$%4"'33 &&( 4"  8!  /  8 /!     + !    +  "%4&6'4&; &3( 43 ,   :  +!, 2  #      =H  7 && 4;  8   % D4 I  +! +   K 0  KB!   .    =  %!  +    %!- >$ -    6&C'"5" D+ ? &&5 '$#  ()$ *#"+ ,(  4C  8  +7         +!   5 ? 5     ?@5 (1-   && 4&  8 EH  BH !   G  7 +      +%  ?4  A$ #   2  A #2'(*   "4"'"66 ,D. &&4 65  8   %!    2     "  2$  %  ! 6  +     ',1, G  0    1  1G 0 , &&3 6 8 87   ?  A     H    577! %  %!  C6#($%3&'C& 8 &&3 6(  .+  - O E G7 7   +! ? P    %!  +,- %+,'(B- 0/+- %   ("5'("3 ...  /  &&6 64  .+  - O .Æ      + !    : :+ 0 0 Q  /  K  $     + '(B- =       +  !  >3 0 %!- - 5 ! &6"  %   6(C'64& 1 +> &&" 66 ? .!B ,4  %!"  C   3 4 4  %! / E7 1 && 6"  , - +!    5   L>%(4"'("6 && 63  , - +!      5   L> %""';6 &&( 6;  , - +! +      D    E+      5   %- $ ! 3(5  %   4&'"5 1 +> ) &&( 6C  , - 5@    $  1 +> DH QB   &&3 6& 8  77 & 2$ %!  !  2 @!  &&3 "5 1 7  8EI   !   +! G+     )D  %!  +,- %  - %   (C6'(C& ...  /   &&3 "  / 7  +!      6#4$ &CC "( /   0 /    , 1   > /08% E      2        %!  6%6;'"5 &C& "4 1 H +3 4  C    3  B+> : &C& "6 1 H 577! %  577!   >H :H &&4 5     !"#$%& "" 0 ?J EH  Æ 7       +!   . :J ? = : J   0  A 1J  %    %- %'(8- :&- .! ! "44  %   (6C'(35 1 +> && "3 0 ?J @   72    +!     %!  +,- ,   (4C'(6" ...  /  && "; 0 ?J 1    7 G+!    %+%'(*- - 3! ! 3C&  %   6&'"C 1 +> &&4 "C 0 ?J 2  +, ! 5    %  +   %  2 @!  &&6 "& 0 ?J +!   2     +       (#46$%(4'(36 8 &&6 35 0 ?J 1 !    G+!        6#3$%&5"'&(; &&6 3 0 ?J , 2  FG   +!    )D  %!  +,- %   - %   C'(4 ...  /   &&3 3( 0 ?J .2      +!        3#$%6&'3& &&3 34 0 ?J     +! I  I % ,   % 6 5  5- +     &&;    36 0 ?J 0 ?H  Q 1     ! H !   : 6"<&" @!  = 8   ,+  1 &&" 3" 0 ?J  A = >G  H !  H +!    >B!   #'(*- % &- # ! 3&C  %   "C'3& 1 +> &&4 33 ?B -       !H   %@5%+'(=  /D,1 1 +> &&" 3; )  ? +:         ,+4"#;$%35('3( ) &C3 3C : ?J #& 4  8  .J E ?  K J &&4 3& ) )N   )  ,  %  !      & R (5%"54'"C(  &&6 ;5 ? =  @ 0 5 2  "   + %   - 5   2 # !  ! 6(  %    ! =H 8 &&4 ; 0  =   A       2  +   7    +  4(#6$%;3(';;4  &C" '$#  ()$ *#"+ ,( . ;(  =7    =     =       :   1)   2- !/5  ! C6  %   4;'4C" 1 +> &&6 ;4  =7    =         1)    - (D   4;"'4;& ) A R 1 &&3 ;6  =7    =  7            >.C%! ! (  ('6& 1 +> A DH QB &&3 ;"  =  . / /B     H    #  &#($%;&'("  &&( ;3  =  . / /B 0%     H      %%   ("4'(3( ...  /  &C& ;;  =  > 1 17 E     +           (%44"'43; &&( ;C >  =            +!  +   # 17  $ .4 +57  2E$ + 57 :$4 %   C%4'( &34 0!H  0 (& #&3"$  6(5 ;& >  = 9     +!    < C  4  .   +4  (%4;'44( &33 C5 1 =      7   %!&   4%"5'"" &4C C / > /B  - 1     ! 7  8 =      2&   %!  - 2F'(B- - . ! C"3  %   ;(6';44 &&6 C( 1  /  ) ) / M      % E         %!  3#$%44' "C ) &&3 C4 0 , E / -          +  &#$%5&'& ) &;( C6 0 , E /  ,+/ , 1          &#"$%6;'64 87 &; C" 1 /B  +7 !  S7 9   H H 2+  -7  "6" @!J 8 -7  B  &&6 C3 1 /B  +7 2  S7 9      8 87  .  =  ?   7'(D" 577! %- -     &   "'& - / /7  /+ ?7   -7 &&3 C; ) ) / /  H          3#3$%;""';;C &&3 CC ) ) / / ) ? > 1 17  D ,   , 0     0 :  #" !  :  ?! 0   C'(5 =H &&