線形論理 - Wikipedia

線形論理 - Wikipedia

瀏覽:1496
日期:2025-10-10
線形論理ではこれを cream, cream ⊸ butter ⊩ butter と表記する。論理結合子(⇒ の代わりに ⊸)と論理内含(⊢ の代わりに ⊩)の記号が異なる点に注意されたい。 線形論理は1987年、フランスの論理学者ジャン=イヴ・ジラールが提唱した。...看更多