論理演算的相關文章
論理演算的相關商品
Intuitionistic logic - Wikipedia, the free encyclopedia
瀏覽:1251
日期:2024-09-07
Gentzen discovered that a simple restriction of his system LK (his sequent calculus for classical logic) results in a system which is sound and complete with respect to intuitionistic logic. He called this system LJ. In LK any number of formulas is allowe...看更多