scieee Science in your language
[en] (orig)

Deduction in many-valued logics: a survey

Read accessible full text

Deduction in many-valued logics: a survey

Author: Hähnle, Reiner,Escalada Imaz, Gonzalo
Publisher: Universitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
Year: 1997
Source: https://upcommons.upc.edu/bitstream/2099/3490/1/Hanle.pdf
      
     

 

  


 
    !"  #$
%&'()  $



 *+  

, -.
/!  -,  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 &&