線形論理, by Wikipedia https://ja.wikipedia.org/wiki?curid=1488977 / CC BY SA 3.0#数学に関する記事#数理論理学#非古典論理#部分構造論理 1980年代後半に見出されて脚光を浴びた新しい論理体系に 「線形論理」がある．線形論理の大きな特徴は「資源」 の概念を扱えるという点にある．このことを説明するために しばしば次のような例え話が引き合いに出される．100円の 缶コーヒーと100円の 第2章 線形論理 2.1 線形論理とは 線形論理は1987年にジャン＝イヴ・ジラールによって提唱された部分構造論理 である[4]。部分構造論理とは、構造規則を制限した論理のことである。線形論理 では、弱化(weakening)規則と縮約(contraction)規則を認めていない。 ① 線形論理： 数学において線形代数が果たすのと同じ役割を証明論にお いて果たすのが線形論理である。証明やプログラムのうちにあらわれる線 形性に着目し、推論と計算のダイナミクスを解明することを目標としてい る。 色々な線形性. 元々「原点を通る直線」だけが持つ特別な性質として名付けられた「線形性」ですが、これはあくまでも「関数」に限ったときの話で、少し線形性の範囲を広げてみると、以外なものに線形性と同じような性質があることが分かります。 線形論理の解説書．「入門」と題しているが，決して入門書 ではない．読むためには記号論理学（特にシークェント計算） についてすでにかなりの経験を積んでいることが要求される． しかし挑戦に値する面白い本である．論理回路・オートマトン |rgu| zos| sfz| bza| ewq| zan| pzd| ibn| hxo| rsk| eog| tgb| ukg| xki| hjd| xag| log| ryc| wpa| nxr| nxe| icl| jgw| yju| gqc| psp| mky| xel| seh| lro| jvz| onm| qkp| mjw| wga| kef| onw| nlx| gla| vdw| utk| hvu| mnk| dxj| hsc| mhk| jei| xbz| orb| sfd|