Japan Advanced Institute of Science and Technology

(1)

Japan Advanced Institute of Science and Technology

JAIST Repository

https://dspace.jaist.ac.jp/

Title An algebraic approach to the disjunction property of substructural logics

Author(s) 相馬, 大輔

Citation

Issue Date 2005‑03

Type Thesis or Dissertation Text version author

URL http://hdl.handle.net/10119/1907 Rights

Description Supervisor:小野寛晰, 情報科学研究科, 修士

(2)

!

"

! # $

%&&'

(3)

()*&&'+,

!

"

! # $

! $

!

- %&&' ( ,

(4)

!! "

# "

$!! %

$&# %

'!!! !!

( )

$&# *

+, *

-

!

& $&#

. ! %

# $&#

-! ,

-!

" # $ %%& "

) / 0 , )

) 1! )

(5)

(6)

2 ! ! ! ,,

2! 3, , !

, 4!

, !! 3

!, ! , !

2, , ! ,! ")% "% .

5 ! ! !! ! , 2

, 6 , ""% 7

, !

&, ! /

), 2 , ! ,

!!, #! ""%

. , !,

, .7

/ . , ! , ,

& , , !

!

, ,

! , 2

2 ) ) 0

, 7 89

: 8(:7 ! ! $ 7

½

(7)

! , ! 4! 4

3 !! ;$&#< ! 7

! $&# 2 4

2 ! ! -, !

! = 4 1!> ! 27 0 , ;<

! ?

#* ++ ,% - . . @ .

;< 3 - .

;A <

;A< @

;A<

1 . @ . 3

;A< , .

.

#* ++ , - . @ # 3 /

- #

;# < @7 @

;#< ;<@;<7 ;<@;<

;#< @7 @

;#< ;<@7 ;<@

#@ # (3 , ,

@

27 = @

@ 2 ,

#* ++ , - . . @ . 3

- .

;1 < ;< @;<

(8)

= ! 4 ,7 , 27 !

7 , !! !7

!, @

(9)

7 4

-7 = ; 0 <7

;0 <7 ;! < ;< ,

3 ,

#* + + ,- -! 3 ,

; < !7

! !

. 4 !

; ! % !,<

' BC D 3 !7

, !! 4 3

2

C

(10)

= E

C

; <

C

; <

$ E

C

;<

94 E

C D

; <

$ E

C D

;<

# E

C

; <

C C

C

; <

C C

C

;<

C C

C

; <

C

; <

C

; <

C D

; <

C

; <

C

; <

C

;<

. C ! , ,

, . ! .

3 C C

,

(11)

7 3 !

!, !

,

' 4 ; <

C

. !

;<

1

2 > /

>

C D

;<

C

;<

2 ! !

! > =

(12)

6

2 ,/ 7 /

!! / >

0 7

!! =

C

; <

C D

;<

89

: ; 8(:< ! , 9

E

;

< ;(E ; <7 ,< 4! !,7

3

89

:

8(:

@ 2 9

2

! 2

89 : 8

:

' 3 ! ! /

94 , 3

#* ++ , - . !

! ;< !

;< , ! ;< !

;

! ;

;<<

<

F ! !

. 4 !

,

. , 2 !4!! F

' ! 4 F # @

2

,

,! 3

!!!

2 F ! F

!

(13)

2, ;$&#< =

!! !

!!

#* + + ..@ . % $&#.3

;& < . % 7

;&< . !! ! 7

;&< .7

= . % ! %7

. @ . % ;$&#<

, !! ,

! 2 . . .

2 ;&< 3 2 !

!,

" #

7 !!! , ! ,

$&# !

(14)

#* ++ ,/% - # . @ .

%

0 @

%

$&# . ! E . 0

3

;

<@

7 ;%

<@%

7

,

.7 ;

<@ ; <

;

<7; <

-!7

// !

!

// !

4!! !. 0 . 07

.

@ 0

-! ! 7 7

#* ++ ,' - # E. 0 !!! 2

7 ; <7 7 ; <7 3 ,

; <@ .

E ;<@ ;<7 ; <@ ;<E.

0 ; < 0 , 0 !!

! . !! ; < 4 , ;.<

#* ++ ,- # . 0 $&# 2 0

. . ,

0

. = !,0 . 0 . .

. . .7

.

#* ++ B . 37 , .7

;<@ Ì

E .

= ;< ,

(15)

. 2 . 3 E

$AE - !

.7

;

<;

<

= ...,

, ' 3 !4!! !!!

D

@ G .

D@ G.

2 .,$. 2 , $.

!4!! ! !!!!D

. , $ . - 3 7

Æ

.

@

@ ; Æ

<; Æ

Æ <; Æ

Æ Æ

<

#* ++ # . $&#

. 2 H;

< !/

!!

!

1% ++ E . 0 ; <

.

1

; <7

;

< @ ; <

;

<

@ ; <

;

<

@ ;

<

; <

$,; < 7 ; ,

.

# $&# . 2 3

;< .

(16)

3 .

. @G.

#* ++( , - # . 2

.7 .7 .

,

@;

<

.

#* ++! , %- #. $. 2

E. . 3 ,

;<@ , . ;= !,

!,

<

1% ++ . .

1 ! -, .

;< @ ;<

@

;<

2

!!!

1% ++ ,/% - E.0

.; < 0 @Æ!

. .; <

1 - @ Æ ! ;< @ ;< 2

3 7 3 @ Æ

Æ , 0 2 ,!!7

. 2

;

< @ ;;

<<

@ ;

<

@ ; <

;

<

@ ; <

;

<

(17)

@ ;.<

E

2 4

1% ++ $ . .

1 # 2

! 3

'

;

< ;

<

-!

2 .

# . $&# ;.< 2 3 8 : $ .

8 :@$ .E

1% ++" ,% - . "# $ .

8 :

;<@

8 : $ .

1 - // # 8 : ;@<

2 . '

;< ;<

;<@ ;<

2 // 4 # $ .7@;

Æ

<

!!!! . ;.< ' , .

(18)

2 -, !!

;

< @ ;.<

E

@ ;.<

E

@ ;.<

E ;.<

E

@

;

< @ ;.<

E

@ ;.<

E

@

@ .

!

;% <

@ ;.<

E

@

@ .

!

;% <

@

2 ;

<@

#* ++2 ,# %- #;.

<

4!, (/

3

É

.

É

.

7 " 7

É

½

@

½

¾

Ò

. ;#<! # !

1% ++ .

.

@.

.

;.

.

<

@ .

.

1 # !!! ;

< @

;

< @

7 , $,

!!

2 !$

E

É

.

; " < 3 ,

$

;

<@

(19)

$

.

= ,

0 ! !!!

#* ++ , %- . . /

4 !, ;.

<

. É

.

$

;.<@.

"

. ;.

<

É

.

3 1 .3 7 ,

. ! É

.

- 4!7 . @ 7 .

@ % 7 . @

; < ; %< ; < ; <7 3 . ! É

.

!

É

.

@ ; < ; %< ; < ; < ; %< ; < . !

, Æ , !

#* ++ 2 ! E . É

.

!

! ;.<

É

.

1% ++( $ . %" &

Ì

@ D

E. É

.

; <;"<@

1 3 &,

@$

Æ , "

!!/

! !. .

- ;.<

É

.

- ;< ;<;.< ; .<

;<

É

;<@;

< ;.<

-!

É

% É

@;

< ;

;%

<

;.<

' ;.<

É

.

1 " ;.<

É

.

!

;.<@.

4 ! - . ;@<

Ì

! Ì

@D ' 4 ! #

-! ;<@ ;< ;<@;< 2 !

(20)

!

#* ++ , %- = 3 ! ! '

;'<7 ;'<7(;'<7);'< )

;'<

.;'<. ! ! !! '

.;'<. ! !! '

.(;'<. !! ! ! !! '

.);'<. !, !, '

#* *

= * *

!/

7 * *

* ;'< *

;'< ,

'

#* ++ , % %3 - #' $&#

* $&# 2 * *

@ *7 '

* *;'<'

1% ++ '

( (

) )

)( ()

(! ! )

1 . @(;'< 2 ! 0 ' !!! E0

7 . 2

;.<07 ;

;.<<@.7 . (;'<

. );'< .@ É

.

0

'7 " . É

.

É

0

7

. );'<

4 . )(;'<7 0

' !!

E 0

.

. @ É

.

, ! E É

0

É

.

3 , ;<;"<@

;;"<< !!G .();'<

= ( @(

( (

. (

;'<4!!!

E07 E.0' Æ!!! 2.(;'<

= 7 ) ! ! ,

(21)

#* ++ , &- # ' !, '

( )

' +;'< ! , ' = ,

+;'< ' ' !! .

!,+;.<

1% ++ ,4' - + @()

1 (+ @ + @)+ @+ +7 () ()+ @+

-! !! (;()<@()7 ;()<() @()7

);()< ())

())

@ ()

(()

@ ()

' , '7 ();'< (7 7 ) . +;'< !

' (7 7 )7 ! + @()

$

#* ++ # ; < 0 2 ,;<

!

% ,;<

,;< IJ

,;<

-,;< ;

<

!

#* ++ B ! ;

< ! .

3 !

E.

. E

; <

7

(22)

;

<@

.7 7

0 !G

;< ! ;

<

;

<

;

<@

;

<

;

<

2 4

. ! ; .<

2 4 ! !

1% ++ ' . 0

%& ! $ .!

"

;

<

;

<

%& ( E.0 !

;

<<@

; ; < ;

<<

.

%& .

;<@

;

<E ! -!

1 B ! 3 .;< ! /,

,! .;< @%6 %

;<= , .;< .;<@%7 @

! "7

;

<

;

<@

@ ! % 7

;

<

;

<@

.;</% , ! 0 .;<1.;0< 2

!

;

<

;

<7

.;

<1.;< ! 7 " 7

;

<

;

<G

;

<

;

<< ;

;

<

;

<<7

,

(23)

;

< ;

<

;< 2 ! .;<

; < & ! 8: 7 7

2

;<@

;

<E/,!7.;<7 1-7

7

;<@ Ë

2

;<

@

;

<E /, !7 1-7

7 ,7 ! ,;<

#* ++ , - B 7 ,;<@" 7

4;<7 ,;<7 ,

@

,;<

#* ++ , %% %%&- #'

5;< , , . ' , !

E .

!!!

E5;<.

4 ;7 ;< @ ;< <7 , 5;<

' 7 5;<7 5;<

,

++ ) 5;< '

.' E .!

5;< .

1 2 !,! !!! !,!

, ! ! !

2 4 , 7 !!7 !

' ! , '

?

(24)

' ( @

!

5 ; <

@5

;

<

1 - , !

3 E ;# @ <7

4!!!!5 ; <5 ; < ,!

E

0 2 !!!

E5 ; < 5

;

<

4 7 !!!

E5

;

<5 ; <

4

.Æ !! 5

;

<43

7 , !!

Æ , ! 5

;

< # Æ , !

5 ; < 2 0 7 5 ; <

@ 5

;

<

1% ++ ' ! @ " !

4;<

1 # E . (3

E,;<.

, ,

;<@ ;<

7

;

<@; <

;

<

,;< 2 ;;

<< @

; ; < ;

<<7

!!!4

(25)

!, ' 2, ,

3 , !

3 !,' !

' 5/ K, , '

!, '

, 7 7 ) 5/ 2

Æ , 5/ ! ' ' 7

! 5/ ! , ! !

,7 , 4 7

' . !

; 8:<

#* ++" # ' !, B 3

;< 4;< ,

;<@F

;<

F

;<@ $ 4;<E4;<;'<G

3 ;<7 * 7 ,

;<@4;<

;<7

@

;<

1% ++" ,0 '6- ) 4;<

;<

'

1 B . ' ! ! . # E 4;<

;<

!!! 2 Æ ! .7 , !

, 4;< !!!4E4;<.4Æ #

-!

3

;<

;< ;4< ; ;4< F

;<< 2

!!! E

;<. 4@Æ ;<@

;< 7

7

;< @ Æ;<

@ ;<

@ Æ;<

@ ;<

4 2

;< !, '

(26)

.(;

;<<

1 $ 5

E .

0 2

E

;<.

!!!4

1% ++( ,0 '6- ) 4;< ' @"!

;<);'<

' ! ! )! ' !

; '

1 .

;<@F

;<

;<@4;<

;<)

;4;<E F

;<<7

;<)

;'<7

, )

)7

;<);'<

#* ++ . 4 !

$0

0 ,;< # %;< . . 3

,

;

<$0;

<

; , .7 .<7 ,

.@;

<$0;

<7

! L,

.@$ 07

(27)

;

<@0

;

<

. ' 3$07

' @$07

!! ' 3 $ 0 M 7 , ' 3 M7

' @M7

' @$0 $0M B '

%

;<@$0 %;<E' @$0

= ,! @ I ,J

= ! 3 !!/

!

++! ( ' $0 !

' @$0

+ . ' E4;< .

;<@ ;0<

1 ;< # @;

<7 0 @ 0;

< ' @ $ 07 . '7

E4;<. !!! 2

; ; < ;

<<@

; ; < ;

<<

;

<<@ ;0

;

<<

;<@ ;0<

;< - . '

. , !

, 4;<.

;

<@

"

;

< @

; ; < ;

<<

@ ;<

@ ;0<

@ 0

; ; < ;

<<

@ 0

;

<

' @$0

(28)

1% ++2 ' '! '! ;'<! ;'<! (;'<! );'<

+;'<

1 $, ' ;'<, ! .

7 (7 )7

!

%

;<%%

;<7%

;<7 %

;<

- !

' @;

<$0;

<

2 0.'

7

.

;

<@0

;

<G

;

<@0

;

<7

0@$0

2

%

;<@%

;<

4 E . 0 0 !!! . '

7

.

; <@ ;

<@

2

;

<@0

;

<

!

;

<<@ ;0

;

<<G

;

<@0

;

<

2

0@$07

(29)

%

;<@%

;<

#,7 .

' " 2

.@ É

.

; ;"<

;"<< @0

; ;"<

;"<<G

;

<;"<@0

;

<;"<

"7

;

<@0

;

<

2

%

;<@%

;<

. + @() , 7 !

! 5/

++ , * "# 0,;<

' @$0

; N

<@$0

N@0N ; N

<

0

;<

1 # @

;<7@;

<7 0@0;

<7

E4;<

!!! $,' @$0 !@$0 );'<

4 @$0 2

;

<@0

;

<7

@0 @0 2

;<@@0 @;0<7

0;<@

;<

-, 0

;< B .'

. E4;<.

;

<@

7 " . ; <F

;<

(30)

!!! E. @Æ 2

;<@Æ;<@Æ;0<@ ;0<

$,

' @$0

, ! 3

(31)

! $&#

$ # %

#

#* + + $&# . ;< ,

#* + + , - #.@ . % $&# .

!! . -! 4

!! ! .

;<@;<;<

; <@;< ;<

;<@;<;<

) ;<@;<%

1% + + , - "# .

;< .

- $&# .7 ;.< ! ;< ,

.

1% + + ' "# .! ;.<

(32)

!7 ;;<< , 7 ,

; < ;< , . # ; < @ 27 3

, ;< @ ;0< @ ;0< 0 6 ! 27 0 ;;<< @ ;; <<

27 ; < . 2; < ;.<

4 ;.< 2 , ;< 7 ; < ,

3 ;< ;< ! ;< ;< ;<

;< ' ;< , 2 ;.< 2 ;.<

!

-, ;.< 2 ;< 7 ;< , , 3

;< @;<;< ;<;< ! ;< ;<

' ;< , 2 ;.<

2 ;.<

2 ;.< ? , .

1% + + ' "# .

@;.<

,7 %- = , #!

- 3 , & !

&

& ! , &

= ! & 7 & 7 &

& ,

4 , &7 F & F

! = 8: =

.@ F& 8: 8: $&# 3

8:8: @ 8:

8:8: @ 8 :

8:8: @ 8:

8: 8: @ 8:

-, ;.< 7

, .7 ;.<8 :

2 .

1% + + ,% - ' !

"# . .! ;<

(33)

=3

;

<@;

< ;<

' / !,;<@ ;</

!, ;

<@;

<%

= , ! 2 7

7 , ;< -

3 - 4!7

; < 7

;C< 7

;C D<

#

3 ; < ;

< 2 3;<

4 /

= / !

2, #! 4! $&#

. ! ;<

-!

1% + +" ;.< - "# .

1 ! ;.< $&# .

$ !

7 ;.< ;.< $&# .7

, , ;.< ! $&# .

'

1% ++ ,- . 0 "# . 0 ;0<

;.<

1 . 0 2 , .

0 . ! ;0<7 ;< ,

7 &;< , & . 2;0<;.<

(34)

;.<;.<

1 # ;

< !7

/

. ! ! ;

< 4 /

7 7 7 7 7 7

,

;

< 2 ! $&#

;

<;.< , .

;<@

;; < ;

<<

# . 2

;

< @

;

<

@

2 ,

. ;.< 2 ;.<;.<

1% ++ ,% - . 0 "# E . 0

( $ ;.<;0<

( $ ;0<;.<

. ( $ ;.<@;0<

1 2, ! 0

.; < ' 0 0 . ' ; < 0 1 !

1% ++ , %- ; É

.

<@ Ì

;.

<

1 = , @

;<

E . .

. 7

E . .

.

!!! !

;. .

< ;. <7 ;. .

< ;.

< 2 ;. .

< ;. <

;.

<

;%<

# ;. < ;.

< # ;<

½

;<

¾

,

. .

, , . .

(35)

! !

;< @ ;<

;<

½ ¾

@

½¾

' ;. .

<

. , ! !

! ! ! ! !

$

#

$&#

! "

#* ++ # = 3 +

$&# ,

+

@8E;8<

1% ++ ' +

"#

1 +

!! !7 7

;!! !<

# .+

2 ;.< ;.< !! ! . ,

;.<; ;.<< ; ;.<< 2 ;.<+

;<

#. +

0 . 2 ,

;.<;0<

20 +

; <

#.+

" 2, ; É

.

<@ Ì

;.

<

1 ! ! ;.

< , "

Ì

;.

<@; É

.

<

2 É

.

+

(36)

#* ++ #' $&# ' 4!

M 7

' @.E.@!$ , !$ M

= 4 ! !

, , !$

!$ ! % !

! % !

;!<;!<

2 4 / ! , 6

1% ++ ,0 '69 - ' '

. , $&# ,

; <@;< ;<

; <@;<;<

;;<< @

;;<<@

!

#+ ,$&# 2,6>!74M

=3

@6;<E M

'6 ! 3,3 7 6;;< < &

;0<

. !

! ;< 3

+ @

2

1% ++ ' + "#

(37)

;<

# ;

< ! ;

<

. ! ! ;

< 4 7 7 !7

!&!

7 7 7 7

, ,

;

<

2

;

< ! $&# # ;

<

2 ;

< &

6;

;

<<

;

<

;

< ! , $&#

." + ,

.

;

<

, ;

<

;

<@6;

;; < ;

<<<; <

;

<@

;; < ;

<<<@

;

<

2

;! <

#

2 4 ! !

6;!<@ 6;<@ ! !

'

!!

2

;

<

# 2 ! ! ! , $&# , 7

;< -, $&# .+

;<

, ! , + @;<

2

(38)

! "

& %'

- ! 3

#* "+ + , :- .$&#. , .

!

#* "+ + , $ %%&- . $

, ! !

!

& ( !

4 "++ ,;' - )

' ! /

$ !

' . 0 '

! $

.0

! , 7 ! ) !

4 "++ ) '

"# ! /

(39)

' "#. 0 ' "#

! $ .0

1 # ! !

; <@

!

;<

!

.

0 -! 4 / $&#7

7 0 !!! ! .0 = 3

- , 7 3 ;<@ 7

, !

;

;<

;<< , 7

;;<<@

;<

-! !!! , , ! Æ

;;Æ<<@

;Æ<

;Æ< 7

;;<<@

;<

;<1

;;<<@

;<

;<1

' 7 ;<1

7;<1

; <1

, /

2

0 ,7 ,

+;<@ / . ! !7 . 0+;<

.0 +;< ., +;< !! !

+;< 2 !

= 0 , , ! -

0 , 89

:

4 "++ ,# $ %%& 89

: - 89

:

$

2 ! $&# . 0 (3 $&#

@ $ % ,G

$@.%

7

@

7

@ %

%

(3 , $

" #

"#

(40)

" #@

"#

(3

;

< " # @ "

#@

%

7 " #@

"#

= @ $ % $&#

"++ $ %

1 $, , $

-, " # $7

"

" #7

#

" #

# $

"7

#

2

" #

" #@

" #

!, " #@

"# 2$

"++" $

1 -, " $7

"

@

"@

"#

, !

- , "7 # $7 ,

; " #< @

"#

@ ;

<

;

<

;"#<

@

;

<

;

< ";#<

@ "

#

@ "; # <

2 $ !

(41)

1 - ,/

-! !7 ,

7

"#

'

7

7 "#

# @

#

"

# @

#

# @

%

!

!,

"@ 2

"

%@

#

4 /

#

# @

#

2

7

7 "# ,

2

"

#

# @

%

2!,

7

"# @% !"@%

2

"

#

"++( .0

; "<@

$

1 . ! , 0

; " #< @ ;

" #<

@

@ ; "< ; #<

(42)

; "< ; #< ! ,

" #@

"#7

; " #< @ ;

"#<

@

@ ; "< ; #<

" #@

%7

; " #< @ ;

%<

@

@ ; "< ; #<

2 0 !!!

"++! ( . 0 9

9

1 -, " $

"

@

"

@

""

@

!,

"

@

2 3 2

1 4 "++ = /

! -! !! $&# 3 9

0 !!!! .0

B, $&# 3 ( = ! !3

0 , 8(:

4 "++2 ,# $ %%& 8(:- 8(:$

(3 $&#@ $ % ,G

(43)

@

7

@ %

%

(3 ,

" #

"#

(3 7 "# @!" #

%

" # @ " # @

%

;

%

< "# @ % " # @

7

" #@

"#

(3 7 " # @ " #7 " # @ " @

# @ 7 "# @%

;

< " # @ "

#@

" @ # %

%

% " # @

7

" #@

"#

"++ $ %

1 $, $

, ! ,

89

: = , "7 # $

" # " #4

"++ $

1 - , " $7 "

@

" @ "

, ! 4

# "

# $

"

#@

"#7

"# @ ;

<

;

<

;"#<

(44)

# @

#7

"

#@

;

<

;

< ";# <

; "

#< @ ;

<

;

<

;"#<

@

;

<

;

< ";#<

@ ";

# <

"

#@

# @ 2

;

<

%

;

<

%

!

%

; "

#< @

@ ;

<

;

<

= ,

# @

. . @ #

. @

. @# !"# @%7 ;

<

%

;

<

%

"

#@

;

<

;

<

. @ !;

<

%

;

<

%

"

@

;

<

;

<

# @ 2

@ ;

<

;

<

.

.@ . @%

. @

;

<

%

;

<

%

#

# @

%

"@% !;

<

%

;

<

%

7

%

@

;

<

;

<

(45)

"

@

;

<

;

<

. @%

;

<

%

;

<

%

# % @

%

"

@

;

<

;

< %

, ;

<

%

;

<

%

# @% 2

%@ ;

<

;

<

.

.@ . @%

. @%

# %@

%

"

@

;

<

;

< %

, ;

<

%

;

<

%

. @

;

<

%

;

<

%

# % @

%

"

@

;

<

;

< %

, ;

<

%

;

<

%

"

#@

%

% @ ;

<

;

<

%

;

<

%

;

<

%

2

# @

;% <

(46)

% @ ;

<

;

<

;

<

%

;

<

%

2

# @

!"@ # @ ;% <

"

@

;

<

;

<

, ;

<

%

;

<

%

"++

1 - ,/

#

"

#@

"#7

# @

# 7

,

"

# , "

#

"

#@

"#7

# @

2

7

7 "#

# @%

" #

# @

7

(47)

2"@ '

"

#

# "

#@

7 "# @% "@% # @%

"@% ,

"

#

"@% # @%

= "@ 7

# @ 7

7

"

%

"@ , # @ 7

"

#

# "

#@

%7

%

" # @

#

!# @

"

#

@%

# @%

#

, # @

# @

!3

"

#

4 /

(48)

"

#@

"#

"

#@

%7

7

%"#

2

% "

#

"

#@

7

%

,

%

' @% 2

"

#

# @

7 # @

# @%

# @ "

#@

%

' @%

# @ "

# %"# # 2

"

#

# @% # @ @%

%

7

%

!

, '

"

#@

%

"++ .0

(49)

$

1 = ,

; " #< @ ;

<

@

@ "

#

@ ; "<

; #<

!!! . ! , ;<@.0 2

0 !!!

"++ ( . 0 ( (

1 # " $; " ! " %

%

%<

= "@ 7

%

%@ %

% %

%

%@

@

= "@%7

% %

%

%@

%

%@ %

% %@

%%

= "@ 7

%

%@

%

%@

@

2 3 (

1 4 "++2 -! !! , $&#

3 ( 0 !!! ! .0 2

7

89

:

8(: 7

7 %

%

! . 07 , 27

!

(50)

$

= !

= 4! , $)O

1 ,7 ! O

! . 0

- 4!7 7 4!

O

2 , , A 1 1 P,

0 ,

!

(51)

!, 7 A'7 /

! / , '

5 !! 7 . A '0! /

7 & . ( 1 '!7 & . ( -4

/ ,

(52)

8 : - 7 A Q ' 7 . !7 7

%%

8: 5$272 7Q

. $! 7 = 3 A $!,7

*/ 7 %%

8: 'A7 . $ K .7%%%

8: B7 + 7( A +K/

,7 %%

8): Q '7 # & $ 27 2 !!

7 Q . $! 7 =

3 A$!,7 )%"/)7 %%

8: 加藤洋介⁷代数的モデルによる部分構造論理の研究⁷北陸先端科学技術大学院大学修士論文⁷ ^%%

8*: 木原均⁷ 可換なと線形論理の拡張体系⁷北陸先端科学技術大学院大学修士論文⁷ ^%%

8: ##1!7 !4!! 0 ,7

# )E "/*)7; "<

8": 小野寛晰⁷ 情報科学における論理⁷ 日本評論社⁷ ^""

8 %: ' 7 # 7 7 %%

8 : ' 7A/ ! R 72

2, A7 1Q 1! 7 1! , Q7 %*/)7

""

8 : ' 7 R 7 )% S

# 72 # 75 . ! A7 "/7%%

8 : ( !7 . 0 , 7 A/

1#B! B!7Q %%7 /7 %%

Japan Advanced Institute of Science and Technology