Mercurial > hg > Papers > 2015 > atton-thesis

comparison agda.tex @ 54:bf136bd59e7a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add thebibliography
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Mon, 16 Feb 2015 12:40:53 +0900
parents 12c5e455fe55
children 5f0e13923cfd
comparison
equal deleted inserted replaced
53:ca389989b660 54:bf136bd59e7a
13 % {{{ Natural Deduction 13 % {{{ Natural Deduction
14 14
15 \section{Natural Deduction} 15 \section{Natural Deduction}
16 \label{section:natural_deduction} 16 \label{section:natural_deduction}
17 証明には natural deduction(自然演繹)を用いる。 17 証明には natural deduction(自然演繹)を用いる。
18 natural deduction は Gentzen によって作られた論理と、その証明システムである。 18 natural deduction は Gentzen によって作られた論理と、その証明システムである~\cite{Girard:1989:PT:64805}。
19 命題変数と記号を用いた論理式で論理を記述し、推論規則により変形することで求める論理式を導く。 19 命題変数と記号を用いた論理式で論理を記述し、推論規則により変形することで求める論理式を導く。
20 20
21 natural deduction において 21 natural deduction において
22 22
23 \begin{eqnarray} 23 \begin{eqnarray}