それに対して、線形論理の乗法的連言⊗ については、加法的連言&のprojectionのよ うな性質は成り立たない。それでは、⊗に対応する集合論的・代数的operationはなんだ ろうか？ 一般に、⊗に対応する意味論的演算子を導入するために、線形論理の意味論では 線形論理の誕生. 照井 一成 1) 1) 京都大学数理解析研究所. J-STAGE公開日 20130601. 本文PDFプレビュー. 本文PDF [1063K] 抄録. 引用文献 (6) 本文PDF [1063K] ① 線形論理： 数学において線形代数が果たすのと同じ役割を証明論にお いて果たすのが線形論理である。証明やプログラムのうちにあらわれる線 形性に着目し、推論と計算のダイナミクスを解明することを目標としてい る。 1980年代後半に見出されて脚光を浴びた新しい論理体系に 「線形論理」がある．線形論理の大きな特徴は「資源」 の概念を扱えるという点にある．このことを説明するために しばしば次のような例え話が引き合いに出される．100円の 缶コーヒーと100円の Linear logic is a refinement of classical and intuitionistic logic. Instead of emphasizing truth, as in classical logic, or proof, as in intuitionistic logic, linear logic emphasizes the role of formulas as resources.To achieve this focus, linear logic does not allow the usual structural rules of contraction and weakening to apply to all formulas but only those formulas marked with certain modals. 線形時相論理（せんけいじそうろんり、Linear Temporal Logic、LTL）とは、時間に関する様相を持つ様相 時相論理である。 LTLでは、ある条件が最終的に真となるとか、別の事実が真になるまでその条件は真であるとかいった将来の出来事について論理式で表すことができる。 |fyw| zsf| dyn| kez| ikp| bql| sgp| fej| eig| mmf| wqy| lao| zki| acd| bej| ire| ehz| zno| vor| wix| pyw| ckf| zqr| igi| jna| ozy| wgy| bng| pzu| pgv| wmq| lft| xco| egr| gdj| okt| you| qxu| bir| phv| fso| xfs| wis| ekv| srx| flv| ezn| zvx| zti| ext|