🚀 go-pugleaf

$B$*$0$i(J@$BD92,5;=Q2J3XBg3X$G$9!#(J

$B;d$N(J....

In article <2598@tansei1.tansei.cc.u-tokyo.ac.jp> I wrote:
> $BNc$($P!"5-9fO@M}$N7A<0E*>ZL@$K$*$$$F!"O@M}<0#B$KBP$7$F>ZL@$,(J
>$B$"$k>l9g$K!"!V#B$O>ZL@2DG=$G$"$k!W$rI=$9!"(J" |-$B#B(J " $B$N(J "|-" $B$H(J
>$B$$$&5-9f(J ( latex $B$G$$$&$H$3$m$N(J \vdash $B$G$9(J) $B$O!"IaDL2?$HH/2;(J
>$B$9$k$N$G$7$g$&$+(J?

$B$H$$$&<ALd$KBP$7!"KLN&@hC<Bg$NIMED$5$s$+$i(J
    article <NAO.92Jul15172530@mimo.jaist-east.ac.jp>
$B$K$F2sEz$r$$$?$@$-$^$7$?!#(J

$B$^$H$a$^$9$H!"(J

 $B!&(J D. van Dalen, Logic and Structure (2nd ed.), 1983, Springer-Verlag
    $B$NCf$G$O!"(J "|-" $B$O(J "turnstile" $B$H8F$V$H$7$F$$$k!#(J

 $B!&(J $BIMED$5$s$4<+?H$O(J "|-" $B$r(J "$B$H(J" $B$HFI$s$G$$$k!#(J


# "turnstile" $B$r<-=q$G0z$$$?$i(J "$B2sE>OSLZ(J"$B$H$$$&0UL#$G!"$I$&$d$i(J "|-"
# $B$H$$$&5-9f$r;k3PE*$J%$%a!<%8$KB*$($FFI$s$G$$$k!"$H$$$&$N$,0lHLE*$J(J
# $B$h$&$G$9$M!#(J

$B$I$&$b$"$j$,$H$&$4$6$$$^$7$?!#(J
$B:#8e$H$b$h$m$7$/$*4j$$CW$7$^$9(J (_ _)$B!#(J


--
  +------------ Hiroaki Ogura  $B>.AR(J $B9(L@(J ------------- $BD92,5;=Q2J3XBg3X(J -----+
  |   /\_/\     Email:ogura@voscc.nagaokaut.ac.jp  $BBg3X1!9)3X8&5f2J=$;N2]Dx(J  |
  | $B%_!&(J.$B!&%_(J   NIFTY-Serve:PDD01667                 $B5!3#%7%9%F%`9)3X@l96(J    |
  +-$B#O(J"-^-"$B#O(J-- TEL 0258-47-1611 (ext.7309 or 8503) ----- $B5HC+8&5f<<(J --------+