線形論理
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。 「資源としての仮説 (hypotheses as resources)」という解釈をする。
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。 「資源としての仮説 (hypotheses as resources)」という解釈をする。
線形論理（せんけいろんり、英: Linear logic）は、「弱化(weakening)規則」と「縮約(contraction)規則」という構造規則を否定した部分構造論理の一種である。 「資源としての仮説 (hypotheses as resources)」という解釈をする。
出典: Wikipedia「線形論理」 · CC BY-SA 4.0
この記事を共有: X · Bluesky