[11] R. Cignoli, I.M.L. D'Ottaviano, D. Mundici, Algebras of many-valued sen- tential calculi of Lukasiewicz, (Portuguese), Collection CLE, Center of Logic,.
ÅÎ ½ ¾ !"# ¾ $ % &
' ( )*!(+ ' $
½
¾ ¾ ! " # # $ # $ % & $
' (( $ $ $ $ $
! " !
#
$ %
$ % &
! ""
'
( )*+,- #
#
. / 0 * # $/%# $ %# # # 0 * # 0 1 *
2" / 0 # * 0# *# 3 / 4 1 5 5 # 1 5 / 5 # 5 1 # 50 1 *- 2
# / 5 1 / 5 ! $ % 2 1 / 5 # 2
1
$ % 1 5 5 1 35 / 431 35 / 44 0 *
0# * 2 1 . 0 #
/# # # .
0 *
.
# # 5 5 .
6 2 # )*, )7, 8 2 )+,#
8
# 9 8 3 4 # 9 1 3 4 1 8 " ! )*, . 1 8 :
);, : #
34 1 8 " 8 34 # 1 34 . *4 # 1 # 1 " 1 0 6 # 3 4 1 1 # ? 34 1 " / 1 # 34 8 34 @
1 # 1 1 !
3$A B %4" 3 / 4 3 4 / 35 4 ? 1 3 / 4 / 1 8 5 1 35 54 1 5 3)7,# .**C4# 1 1 5 / 1 5 / 3 4 :
# $!
" " !"
+
5 3 / 4 5 1 5 5 # 3 54 / 3 4 1 1
6
)7, ! # 3 1 5 / 5 4 2
8 . # 1 0#
! 8 8 1 " D # D
1 8 " 3)+,# E &4 ? 8 : 8 1 3 4 1 8 "
# #
1 3 4 1 " 3)+,# F G4 ? .
# 3 4 1 " / / ! 1 # 3 4 1 34 6# A 1 " D - D
" D 1 1 " 1 D " 6# D
3)*0,# ?*G4 H 1 " 3)*G,# F GG4 ? # D 1 # 1 A3 4 ! # # # A3 4# 1 1 0 3)G,# *4 # : # 6 # 1 5 ? 8 ! # 1 0 ! # 1 0 8 1 0# 5 1 * 1 * 8 8 #
! # # # # # # 8 # # D 2
" 8 1 " D
! ""
=
8 1 8 .
# ? 2 8 1 ? D # D ! # 1 @
1 " !# D # # 8 1 1 " D
$ % 2 8 1 " D ?
#
34# ! 34# 3 4 >4# 5 5 1 0# 5 5 . I 5 5
8
! 1 # 1 #
1 # # 1 1 8
!
1 0 # G# * G# * # * )7, 1 * G "! # ? 1 $ 2 34 ? 3 4 1 0# 1 # 34 1 *- # # 3 4 1 0# 1 # # 34 1 # 1 " 1 # " # 8 1 3 4 3 4 3 4 8 1 3# 4 3# 4 3 4 . # 34# 3# 4 : 3 4 1 D 3 4 1 A "! $ ? 1 # # # # 2 . 1 " 1 # " 3 4 # 3 4 1 # 8 1 3 3 44 3 4# 3 4 .
8 1 3 3# 44 3 4# 3# 4 : D 3 4 3 4 1 D 3 4 1 A "! % ? 1 )0 *,# H 3 4 1 1 " 34 1 0 D 3 4
1 " "! & ? 1 3)0 *, )0 *,4# )', 34 1 0 * # 8 1 #
#
! ""
*0
6 $ % $ % E 3*4# 3G4 3 4 ! 1 " 34 1 0 # 1 " 34 A # 3 4 1 3# 4 1 # 3 4 1 3# 4 3# 4 1 3# 4 ? 8 1
2 1 9 # 9 # 9 1 # 1
#
8 J2 *04 ' 1 " 34 1 9 9 1 1
9 34 @ # # # 1 0# 1 0 ? 9 1 3 4# 1 34 9 34 1 9 # 9 1 3 4 # 34 1 ' 8 ( ! "
? 8 1 3 4
2 1 " ? # " 1 " ! " # # +# # " # # 1 0 1 0 @ 3 4 1 34 34 1 # 1 E
A 3;4# B % 3)0 *, )0 *,4# & " & % # 8 3)0 *, )0 *,4 2 E E
# # " # 8 2 L 8 1 34 # 1 8
34 1 9 # 9 1 # 1 # 9 9 1 3 4 - 1 # # 1 3#4 H 3 4 3#4 1 # # 1 0
# $!
" " !"
**
: 3 4# 3#4 34 1 3344 # # # # # 3 *4 # # 3 *4 5 1 0 1 #5 : 5 5 - #5 @
" # 5 #5 1 0# 5 #5 # 1 0
E
6
3)=,# +>4 3)*>,# K*7G4#
# " 8B 8 (
#$ ! 3*4
" # 1 . 3 4 1 9 # 9 # 1 ** $ % # 3*4 3# 4 8 3G4 3# 4 3G4
! # 2 # 2 M 2 34 3 B 4 ") 8 # # # 5 5 ? ' 1 354 # ' 1 0 5 ' @ 5 # ' 1 0 # ' 1 ' 5 ' #
34
8 34 8 C ' 1 0# ' 34# ' 1 34 # ' # E ' # 1 . 34# 3 4 34 3 4 1 # 34 1 3 4 8 # # ' E # 1 9 34 9 1 3 4 # 3 4 34#
3 4 34# 3 4 1 34 9 1 3 4 1 34 6 # 2 # 8 #
# 0
8 1 3 " 4 * ) +
! ""
*G
34 8 34 34 38 4 1 0 .
34 ? 8 1 3 4 ? 1 " # *> F *&# .
34 ! # 34 # 8 38 4 1 0 .
34 8 3(#4 1 0 # 8 1 0 #
6 # # 1 0 3 4 1 ? 1 " , #- E ? 8
# # # ½ / / 1 * G # : 3 ½ 4 / / 3 4 1 0 * 38 4 # 1 0 : 8 1 3 4 # 1 3 4# F *&
?
# A 1 0 @ 2 # 8 1 8 8
# # 1 3 4 1 8 "
3 4 1 E # # 1 " 3 4 A 3 4 1 0 2 # 1 5# 5 1 " 5 ? # # # 3G4# # 8 1 3 3# 44 3 4# 1 # " ! 1 A # 3 4 1 3 4 1 #
3)+,# >;G4 E
8 1 8 8 ! 3 4 8 3 4 8 3 4 8 8 1 34 3 4 8 3 4 1 33 44 3 4 #
3 4
# $!
" " !"
*>
" ! 8 1 ! 3 4 # 3 4 1 E 1 ? # # 5 5 1 0 ! # 1 5 5 # 5 3 4 5 3 4 ! # 0 1 5 3 4 8 H 3 4 8 8 8 1 8 1 3 4 8 #
: 1 " A
)+, 8 ,# E*7;4" .) ! *
. #
A @ 3)&,# F >*4# 34 1 0 *
D ( 34 ( / ? D 1 E # 34 3 4 1 3 4 3 4 1 0 * ? .3 344
34
# 3 # # 3)*7,# E &*>44# " 34 34
8 .3 344 $0 ! .3 344# 34 34 D 1 34 .3 344
8 1 D @ ># 1 34 34 @ .3 344 F G= 3)+,# E ;4 :
8 8 D # 1
3 # # 3)*&,# G&44 D ( ) " ) D D ? D 1 #
#
E 1 G # 1 G # 1 / / @ / G # E #
D 2 2 0 1 " D " 2 * 0 0 # 8 D " D " # 0 8 # 0 D " 1 D " D " 0 # 0
2 E 3 # # 3)*;,# +44
) 8 ) 0 1 ? $ D $ ) $ " D $ # $ D ) : D " 1 D ) # 0 # 0 ) 1 #
# $!
" " !"
*+
D 2 3 4# 2 G; H #
" 8 " 1 0 3 4
(
? 34 1 34 ! # # 34 1 34 8 1 34 # 1 3 4 3 4 ? # @ #
# 34 1 34 1 8 1 0 1 * G # 34 1 34 1 34 3 4 1 # 1 # 2 8 D 8 #
E
"
D ( D D (
# .
! 3*4 3G4# #
? 1 )0 *, )0 *,# )0 *, )0 *, )&, 1 1 1 # 1 1 3* 04# 1 30 *4 " 1 1 * G
@
6
3 4 # 3 4 1 30 04
1 0# C 2 2 # 2 H 32 04 2 2 8 2 2 #
' 1 32 4 0 # 32 4 2 )0 *, ' ' E 32 04 ' 6 32 04 ' 2 32 4#
# 2 2 . )0 *, 2 # 2 * 2
' 1 # H
# 38 4 1 0 1 H *' 1 1 Ï 3 4
! ""
*=
.
1 Ï 3 4
Ï8 #
H 3 4 - 1 3)*,# >*4 E #
6 # # .
? D #
#
3 4 # 8
2 3)7,# ;'4# 3 4 1 *# # ! # 0 1 H 5 # D # 5 1 0 # 6
)>,# ,
#
,# , 2 , 1 #
# 1
3 # # 3)=,#***74# 3)*>,# &>+4- 3)=,# '*74# 3)*>,# F G***4- 3)*>,# F *7*;4- 4"
8 #
3 4
3 4 1 H 3 4 3 4
: 1 3 4 F >&# 3 4 1 33 4 4 3)G,# &4 . # 34 1 #
1
? 1 * * 8
# 1 ? / * # / 1 3/ 4 1 0 3)G,# &4 H * 1 8 1 0 D 0 1 1 " 2 ) D .3 344 ? 0 1 # # # 1 ? # 5 1 0# 5 1 0 8 5 5 1 0 3)7,# >>4# 5 5 ! 5 # 0 1 5 1 5 1 0# 8 5 H 5 1 0 5 1 0# 3)7,# **>4 " : 8 1 0 1 # 1 # 1 D : # D # # 1 5 3)7,# ;+4 @ # 1 0 # 34 3)7,# **'4 ? 1 1 @ *# 1 1 1 1 3514 : 34 0 1 8 15 5 # 35 4 3514 1 1 35 4
D 5 1 15# 1 1# 1 .3 344
# $!
" " !"
*7
8 ? 8 " # 3344 1 3)*,# G'4 @ F >' >+# 8
#
2 3)*,# >G4# D 3)7,# ;+4 8 # F >=
1 1 1 .3 344# 1 1 8 # 0 1 # 1 # 1 .3 344# 1 # 1 1 1 1 1 1 # 1 1 .3 344 " 1 1 8 1 0 # # . .3 344# 1 .3 344 .3 344
¼
¼
¼
¼
¼
6 # 3;4 &3 6
)G,# 1 34# 1 314 / 0 1 # N 1 1 1 1
314 D# 1 # 1 .3 344# 1 # 1 1 3514 D 1 1 314
F >7 @ 3)7,# ;+4#
2 34
/ @ F >7# .3 344 # .3 344
1 34# 1 1 0# 1 .3 344 1 1 1 0 0 1 1 1 31 14 1 1 1 1 1# 1 1 34
! # F ;*# #
34 8 3)G,# E *4# F ;* E # 34 1 " 1 .3 344 1 *# # 1 .3 344# 1 * 1 3 14 1 3 14 1 0 3)G,# &4
@ 3)*',# ? >>4# 314 1 # 1 .3 344 O @ F ;*# 34 1 1 * 3 # 1 # ! 1 1 1
1 # 1 * 1 3 41 1 1 1 1 1
O 1
! ""
G0
&& ! # 3 3)*',# >*4# 3)**,# ? ;G=44 A
)G, # 34# (
! 2 # .3 344 1 1 1 1 F ;* @ F ;># 1 # 1 31 4
2 A ;0 ? 1 3 4 # 1 1 ! 1 # 1 31 1 4 34 @ G;# D 2 E # 3)G,# >4 D 1 D 3)G,# ;4 2 G; . # 1 .3 344 E 8 1 314 # 1 3 4 A
F >7# 1 # 1 1 D 1 H 314 314# 1 #
1 1 314 1 1 314 8 @ F *&# 314 ! 8 1 3 4 314 8 1 F G= A G7 8B
**# *' F >7# * ) + 34 34 34 8 ( 34 8
6
)G,#
# 0 1 1 5 1 5 /3 *4 D#
3 # # 3)=,# *;;&44" )
* ) +
34 34 34 (
# $!
" " !"
G*
.
34 @ 3)>,# F '4#
# 3)G,# ;4 .
34 ? " / @ # Ï 1 0# / 1 # 5 /3/ *4 1 5 / ? 1 # 1 3 /*4 . # 1 0 / 1 # *# 3 /*4 3 /*43 4 1 0 / 1 /* @ 3)G,# &4# 3 /*4 1 Ï 3 /*4 1 3 /*4 1
# *# 3 / *4 3 / *4 1 1 3 /*4 1 3 /*4 3 /*4 1 3 /*4 # 5 1 5 / 1 5 /3 /*4 1 5 / 1 *# 1 0#
2 2 G; .
34 @ 3)G,# E *4# .3 344 1 1 1 2 F >7 D 1 1 1 #
F >+#
2 F ;&
8 1 D
)*, ?F @
# ' ( ) / 44 # E P D# # 3*7='4 )G, ?F @
# ' # . J# # 3*77G4# *Q7 )>, ?F @
# , # $: E
? . 6BB 8 %# J HR F S 3 4# S . F # K # 3*77&4# +QG* );, ? F @
# . K : # . ?# '
# D P# # 3*77G4# >0*Q>0+ )&, ? F @
# . K : # . ?# # A E D F # # 3*77>4# >;+Q>'* )', ? F @
# . K : # 8 8
# / 44 # D P # # 3*77*4# ;=*Q;=+ )+, ? F @
# . K : # 8 8
# # D ? T# # 3*77;4# >>*Q>;' )=, . @ # S S # 8 # . 1
! # ? : D # # 8 U # @ # 3*7++4 )7, E E E # 1 ) # . D 8 # 3*7&=4# ;'+Q;70
GG
! ""
)*0, A E # . K : # . ?# *
) # A E D F # # 3*77*4# >+*Q>=; )**, A E # !D? KC # K D # 1 )
4# 3F 4# E
E?# E ? # H 8 # 8 J E # 8 F # @ # 3*77&4 )*G, E # 5
# P . D 8 # 3*7+G4# G00QG*& )*>, DA K #
# D K# ! : V 3*77&4 )*;, E8 H# FU A D# ) /,6 # D P # 3*7=+4# +G>Q+>> )*&, P. H # , ) 4 ) # D K# ! # : V 3*7==4 )*', 6 ? # D# ' 4 # @
J D ! # # = .# 3*77;4# *=*Q*7* )*+, K D # 0 4 # P 6 . # 3*7='4# *&Q'> )*=, P 8
# E # ( )
# . J
# 3*77&4# ;0Q'+ )*7, F 8 # ' )
+ # @
8 A 8 ? # 3*7'74# '*0Q'G=
