Linear logicとは - わかりやすく解説 Weblio辞書

線形論理

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/12/10 15:18 UTC 版)

線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。「資源としての仮説 (hypotheses as resources)」という解釈をする。すなわち、全ての仮説は証明において「一回だけ」消費される。古典論理や直観論理のような論理体系では、仮説（前提）は必要に応じて何度でも使える。例えば、A と A ⇒ B という命題から A ∧ B という結論を導出するのは、次のようになる。

[続きの解説]

「線形論理」の続きの解説一覧

Weblio日本語例文用例辞書

索引トップ用語の索引ランキング

「Linear logic」の例文・使い方・用例・文例

【学術名】 logic, music, rhetoric.

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。

>> 「Linear logic」を含む用語の索引
Linear logicのページへのリンク


	All text is available under the terms of the GNU Free Documentation License. この記事は、ウィキペディアの線形論理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
TANAKA Corpus	Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います： Creative Commons Attribution (CC-BY) 2.0 France.
京大-NICT 日英中基本文データ	この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
	Copyright © 1995-2024 Hamajima Shoten, Publishers. All rights reserved.
	Copyright © Benesse Holdings, Inc. All rights reserved.
	Copyright (c) 1995-2024 Kenkyusha Co., Ltd. All rights reserved.
	日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved. WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
	Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. 「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
	This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

Linear logicとは？わかりやすく解説

線形論理

「Linear logic」の例文・使い方・用例・文例

「Linear logic」の関連用語

Linear logicとは？ わかりやすく解説

線形論理

「Linear logic」の例文・使い方・用例・文例

「Linear logic」の関連用語

Linear logicとは？わかりやすく解説