% \documentstyle[proof2, b5j, makeidx]{jbook}
\documentclass[b5paper,11pt]{jsarticle}
%\documentclass[b5paper]{jsarticle}
\setlength{\textwidth}{120truemm}
%\setlength{\hoffset}{-25.4mm}
%\setlength{\oddsidemargin}{20mm}
%\raggedbottom
%\setlength{\voffset}{-25.4mm}
%\setlength{\topmargin}{27.5mm}
%\setlength{\headheight}{0mm}
%\setlength{\headsep}{0mm}
\setlength{\textheight}{200truemm}
\newcommand{\Romannumeral}[1]{\uppercase\expandafter{\romannumeral#1}}
\title{古典論理の自然推論体系\Romannumeral{2}}       
\author{古森雄一(千葉大学 理学部)}
\date{}
\begin{document}
\pagestyle{empty}
\maketitle
2001 年 10 月の学会で話した古典論理の自然推論体系(cf. \cite{komori01})
について, 何人かの方からご意見を頂いた。
論理式 $\alpha$ からどんな論理式 $\beta$ を導いてもよいという
推論規則の (A) が不自然であり, 暗に $\neg\alpha$ を仮定しいているのだから
それを明示的に書くべきだというご意見であった。

ところで, 自然推論体系(ラムダ項の型付の体系)の表現方法としては
\cite{Hindley} の方法と \cite{Hindley2} の方法とがある。
10 月の学会では \cite{Hindley} のやり方で表現したのであるが,
\cite{Hindley2} のやり方で表現すると自然な形になる。
すなわち, 規則(A) が割増(weakening)に対応していて, 正当化規則(R) は
縮約(contraction)に対応している。

より詳しいことは以下に載せる予定である。\\
http://www.math.s.chiba-u.ac.jp/\~{}komori/gakkai02-04/
%\nocite{Hindley, Hindley2}
\bibliography{/komo/tex/AlgAndLan/logic}
\bibliographystyle{jalpha}
\end{document}
