論理演算的相關文章
論理演算的相關公司資訊
論理演算的相關商品

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