Japan Advanced Institute of Science and Technology
https://dspace.jaist.ac.jp/
Title
可換な residuated lattice と線形論理の拡張体系Author(s)
木原, 均Citation
Issue Date
2003‑03Type
Thesis or DissertationText version
authorURL
http://hdl.handle.net/10119/1657Rights
Description
Supervisor:小野 寛晰, 情報科学研究科, 修士
!
"# ! $ %
# "&
'
# #
#! ' ! ' ' (
) )* )
)* "&) )
' ( # !
* + ! #!
, ' - ) ) !
! # ) )
' .! # ! #
# '
/ !
# "&'
#! "& ) # #! (
# )* '
"&'
-! ) ) #)
# '
1 #! ! 1 "&'
"& # #! #)*
'
# )! ) 2
) # '
3 ! 4 )
) # "& #!
' 5) ) 2 4 )'
' 67
%'
67
4 # )
) 4 (
!'
# 7
# )
)
! ! # #
' &
! ! #! '
7
! ! #! # ! # # '
! # ! )
! ! # # '
! # ! ' 0
) '
& # ! # !'
5) ) 2 )'
' 67 !
%'
! )
'
# )
) (
! '
4'
-! 1 1 ) '
