Q in intutionistic math. (Re: Math Test)

Article View: fj.sci.math

Article #138

#138

From: Naoki HAMADA
Date: Tue, 06 Oct 1992 00:27

12 lines
1061 bytes

$@$3(J$@$s$K$A$O!"KLN&@hC<Bg$NIMED$G$9!#(J

In article <RYU.92Oct5123217@sysipk.sys.titech.ac.jp> $@3^(J $@$5$s(J:
>$@!t$J(J$@$s$GD>4Q<g5AE*=89gO@!JC]Fb30;KCx!K$G$OM-M}?t$NKd$a9~$_J}$r=q$$$H$i(J
>$@!t$s$N$d!*(J
>$@!t$=$l$O<+L@$J$s$+!)(J

  $@$3$l$O(J HA (Heyting algebra) $@$GM-M}?t$r9=@.$9$kJ}K!$N$3$H$G$9$h$M!#3N(J
$@$+$K5-=R$,$J$$$h$&$G$9!#$+$J$i(J$@$:$7$b<+L@$H$O8@$($J$$$H;W$$$^$9$,!"8EE5(J
$@E*$J?t3X$G$NM-M}?t$N9=@.K!$H4pK\E*$KF1$8$G$9$N$G!"5-=R$,$J$$(J$@$N$G$7$g$&!#(J

$@IMED(J $@D><y(J

Technical Details

Message-ID: <NAO.92Oct6092747@mimo.jaist-east.ac.jp>

Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!jaist-news!nao

References: <RYU.92Oct5123217@sysipk.sys.titech.ac.jp>

Show Full Headers

Complete Article Headers

Newsgroups: fj.sci.math
Path: arc1-ca.pugleaf.net!sparky!uunet!ccut!wnoc-tyo-news!cs.titech!jaist-news!nao
From: nao@jaist-east.ac.jp (Naoki HAMADA)
Subject: Q in intutionistic math. (Re: Math Test)
In-Reply-To: ryu@sys.titech.ac.jp's message of 5 Oct 1992 12: 32:17 JST
Message-ID: <NAO.92Oct6092747@mimo.jaist-east.ac.jp>
Lines: 12
Sender: news@jaist-east.ac.jp
Nntp-Posting-Host: mimo
Reply-To: nao@jaist-east.ac.jp
Organization: ME
References: <RYU.92Oct5123217@sysipk.sys.titech.ac.jp>
Date: Tue, 6 Oct 1992 00:27:47 GMT

Reply to Parent Message