Re: Q in intutionistic math.

Article View: fj.sci.math

Article #23

#23

From: ryu
Date: Mon, 02 Nov 1992 04:11

14 lines
1377 bytes

$@8@$$Lu$NB3$-$N3^(J(ryu@sys.titech.ac.jp)$@$G$9!#(J

In article <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp> f51323@sakura.kudpc.kyoto-u.ac.jp (inoue kouichi) writes:
 |  $@$d$C$Q$j$=$&$J$s$G$9$M!#$o$+$j$^$7$?!#$D$^$j!"ItJ,=89g$@$1$I!"#4$D$N(J
 |$@Fb$I$l$+$O$o$+$i$J(J$@$$$H$$$&N)>l$J$N$G$9$M!#(J

$@$=$s$J$K4JC1$K$o$+$C$F$b$i$C$F$O!"!JD>4Q<g5AE*=89gO@$rFI$s$G$$$k<T$H$7(J
$@$F$O(J$@!K:$$C$F$7$^$&$s$G$9$1$I!"!"!"!"(J

not(A) or not(not(A)) $@$H(J A or not(A) $@$O0c$&$b$N$G$O$J$+$C$?$s$G$9$+(J$@!)(J

$@$=$l$H!"(J{0,1}$@$r(JV^($@&8(J) $@$KKd$a9~$s$@$i!"$=$j$c$"!"ItJ,=89g$OL58B$K$"$j$d(J
$@$7$^$;$s$+!)!J#4$D$8$c$J$/(J$@$F!K(J

Technical Details

Message-ID: <RYU.92Nov2131119@sysipk.sys.titech.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu

References:

<ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp> <1992Oct29.034746.29706@kudpc.kyoto-u.ac.jp> <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp> <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>

Show Full Headers

Complete Article Headers

Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!stanford.edu!sun-barr!sh.wide!wnoc-tyo-news!cs.titech!is.titech!sys.titech.ac.jp!ryu
From: ryu@sys.titech.ac.jp (ryu)
Subject: Re: Q in intutionistic math.
In-Reply-To: f51323@sakura.kudpc.kyoto-u.ac.jp's message of 31 Oct 92 05:25:46 GMT
Message-ID: <RYU.92Nov2131119@sysipk.sys.titech.ac.jp>
Sender: news@sys.titech.ac.jp
Organization: Tokyo Institute of Technology, Yokohama, Japan.
References: <ISHIHARA.92Oct29095434@is15e0s10.jaist-east.ac.jp>
 <1992Oct29.034746.29706@kudpc.kyoto-u.ac.jp>
 <ISHIHARA.92Oct30100417@is15e0s10.jaist-east.ac.jp>
 <1992Oct31.052546.28018@kudpc.kyoto-u.ac.jp>
Date: Mon, 2 Nov 1992 04:11:19 GMT
Lines: 14

Reply to Parent Message