Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03394940n
Noun Concept
Categories: 計算機科学における論理, 数理論理学, 非古典論理, 数学に関する記事, 部分構造論理
JA
線形論理  線型論理
JA
線形論理（せんけいろんり、英: Linear logic）は、「弱化規則」と「縮約規則」という構造規則を否定した部分構造論理の一種である。 Wikipedia
Definitions
Relations
Sources
JA
線形論理（せんけいろんり、英: Linear logic）は、「弱化規則」と「縮約規則」という構造規則を否定した部分構造論理の一種である。 Wikipedia
DISCOVERER OR INVENTOR
ジャン＝イヴ・ジラール
Wikipedia
JA
線形論理
Wikidata
JA
線形論理
Wikipedia Redirections
JA
線型論理
Wikidata Alias
JA
線型論理

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License