<pre>$B5~ETBg3X?tM}2r@O8&5f=j$N>!8T$G$9!#(B

11$B7n(B29$BF|(B11:00$B$+$i!"Ev8&5f=j$N>H0f(B $B0l@.;a$,(B<br>$B0J2<$N9V1i$r$$$?$7$^$9$N$G!"$4O"Mm$$$?$7$^$9!#(B<br>$B$I$&$>$*5$7Z$K$*1[$7$/$@$5$$!#(B
==========
Time:   11:00-12:00, 29 Nov, 2012
Place:  Rm 478, Research Building 2, Main Campus, Kyoto University
        <a href="http://www.kyoto-u.ac.jp/en/access/campus/main.htm">http://www.kyoto-u.ac.jp/en/access/campus/main.htm</a> (See 34)
        $B5~ETBg3X(B $BK\It9=Fb(B $BAm9g8&5f(B2$B9f4[(B 4$B3,(B478$B9f<<(B
        <a href="http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm">http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm</a> (34$BHV$N7zJ*(B)

Speaker: Kazushige Terui (RIMS, Kyoto University)

Title:  Herbrand's theorem via hypercanonical extensions


Abstract:
$B$h$/CN$i$l$F$$$k%(%k%V%i%s$NDjM}$rBe?tE*$KB*$($?$$!#$=$N$?$a$K8EE5(B
$BO@M}$N$_$J$i$:!"ItJ,9=B$O@M}0lHL$K$D$$$F9M$($k!#!JMMAj$J$I$NC1D4!?(B
$BH?C1D4$J1i;;;R$rDI2C$7$F$b$h$$!#$?$H$($PD>4Q<g5AO@M}!"C1D4MMAjO@M}!"(B
$B@~7AO@M}!"%U%!%8!<O@M}$J$I!K!#(B

L$B$r$=$N$h$&$JL?BjO@M}$H$7!"$=$N:G>.=R8l3HBg$r(BQL$B$H$9$k$H!"(BQL$B$K$D$$(B
$B$F%(%k%V%i%s$NDjM}$,@.$jN)$D$?$a$NBe?tE*==J,>r7o$H$7$F!"(BL$B$KBP1~$9(B
$B$kBe?t$N%/%i%9$,%3%s%Q%/%H$J40Hw2=$K$D$$$FJD$8$F$$$k$3$H$,5s$2$i$l(B
$B$k!#$=$N$h$&$J40Hw2=$NBeI=Nc$O%9%H!<%sAPBP@-$K4p$E$/$b$N$G$"$j!"$=(B
$B$N0lHL2=$O@5=`3HBg!J(Bcanonical extensions$B!K$H8F$P$l9-$/8&5f$5$l$F$$(B
$B$k!#$7$+$7ItJ,9=B$O@M}$N4QE@$+$i6=L#?<$$Be?t$N%/%i%9$NB?$/$O!"@5=`(B
$B3HBg$K$D$$$FJD$8$F$$$k$+$I$&$+Dj$+$G$O$J$$!#$=$3$GK\9V1i$G$O!"?7$?(B
$B$J%3%s%Q%/%H40Hw2=$H$7$FD6@5=`3HBg!J(Bhypercanonical extensions$B!K$r(B
$BF3F~$9$k!#$3$l$OHs8EE5O@M}>ZL@O@$K$*$1$k!V%7!<%/%(%s%H7W;;"MD6%7!<(B
$B%/%(%s%H7W;;!W$H$$$&H/A[$K4p$E$$$F@5=`3HBg$r0lHL2=$7$?$b$N$G$"$k!#(B
$B$=$l$K$h$j%2!<%G%k!a%@%a%C%HO@M}!"(Bmonoidal t-norm logic$B$r$O$8$a$H(B
$B$9$kB?$/$NO@M}$K$D$$$F%(%k%V%i%s$NDjM}$,7OE}E*$K@.$jN)$D$3$H$r<($9!#(B
$B!J:#G/EY(BMLG$B$K$*$1$k9V1i$HF1FbMF!K(B
</pre>