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

部分構造論理（ぶぶんこうぞうろんり、英: Substructural logic）は、通常の命題論理を弱くした論理体系群を指し、数理論理学の中でも証明理論と密接に関連する。部分構造論理は使用可能な構造規則が命題論理よりも少なく、かつ個々の部分構造論理によってその種類が異なる。構造規則の概念は自然演繹の定式化手法よりもシークエント表現に基づく。主な部分構造論理の例として、適切さの論理と線型論理がある^[1]。

シークエント計算では、証明の各行は次のように記される。

$\Gamma \vdash \Sigma$

[1]


	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-2025 Hamajima Shoten, Publishers. All rights reserved.
	Copyright © Benesse Holdings, Inc. All rights reserved.
	Copyright (c) 1995-2025 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.

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

部分構造論理

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

「Substructural logic」の関連用語

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

部分構造論理

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

「Substructural logic」の関連用語

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