查詢結果分析
來源資料
頁籤選單縮合
題名 | 從新邏輯到新系統=From the New Logic to the New System |
---|---|
作者 | 傅皓政; Fu, Hao-cheng; |
期刊 | 揭諦 |
出版日期 | 20120100 |
卷期 | 22 2012.01[民101.01] |
頁次 | 頁89-127 |
分類號 | 150 |
語文 | chi |
關鍵詞 | 可決定性; 自然演繹法; 樹枝法; 語意真值圖; 證明; Decidability; Natural deduction; Tableaux system; Semantic tableaux; Proof; |