部分構造論理
部分構造論理（ぶぶんこうぞうろんり、英: Substructural logic）は、通常の命題論理を弱くした論理体系群を指し、数理論理学の中でも証明理論と密接に関連する。 部分構造論理は使用可能な構造規則が命題論理よりも少なく、かつ個々の部分構造論理によってその種類が異なる。
部分構造論理（ぶぶんこうぞうろんり、英: Substructural logic）は、通常の命題論理を弱くした論理体系群を指し、数理論理学の中でも証明理論と密接に関連する。 部分構造論理は使用可能な構造規則が命題論理よりも少なく、かつ個々の部分構造論理によってその種類が異なる。
部分構造論理（ぶぶんこうぞうろんり、英: Substructural logic）は、通常の命題論理を弱くした論理体系群を指し、数理論理学の中でも証明理論と密接に関連する。 部分構造論理は使用可能な構造規則が命題論理よりも少なく、かつ個々の部分構造論理によってその種類が異なる。
出典: Wikipedia「部分構造論理」 · CC BY-SA 4.0
この記事を共有: X · Bluesky