Japan Advanced Institute of Science and Technology
JAIST Repository
https://dspace.jaist.ac.jp/
Title A study of left residuated lattices and logics without contraction and exchange rules
Author(s) 金子, 慎一郎
Citation
Issue Date 2002‑03
Type Thesis or Dissertation Text version author
URL http://hdl.handle.net/10119/1564 Rights
Description Supervisor:小野 寛晰, 情報科学研究科, 修士
!
"#! $ %%
# !
& !'
( )
*+ ! ) , &
) ' -
) # ! # !
' .& # -# )
! )
) (/ ) ' !
#
! !' 0
# ) 1
) !1 #
#) ' ) ) )
&
) 2" -# 3 ) 4
# & '
# &
#!
' 5 # 6
# ! ! ! # ) #
! # ! 7
# &
'' )
# ) & ' #
! # '
) ) )
#
¼
)
' : !
# ' ;& ) 7
)
'
!
¼
' <
# <
#! & '
) & ' !
) ! ' :
!
¼
'
) '
#
¼
)!
' #
& !
! '
: 7 7 )
#! # '
# =
7 ) ,
' #)
%'
'
! # 7
7,
'
%'
' '
& #) 7
8>9'
( #! #
) ) 7' -
# #
7 #! ),
" ! #
=
=
=
=
'
'
'
=
=
;) ) + #! #
)'
#! # !
& ! &
) '
: # + )'
! ! ?
&
'
" !
!
# 8$9'
7
# 7 &!
' #! # )
+ &! ' 89 89'
- ! !
# #!
' :
' ! !
7 '
: + #! #
' : ) +
!
# # )!' :
7 '
89 )' 0@' 5 , #
) ' ! %'
8%9 0@ A' - ) '
6B$ 'C6%'
89 0@' - ) '
'
8>9 5!'*' D /'' 0 #
, E #'
;'66F '%6>C'
8$9 D /'' 5!'*' 0 <!
) &
' 66F '$$'
