您的瀏覽器不支援或未開啟JavaScript功能,將無法正常使用本系統,請開啟瀏覽器JavaScript功能,以利系統順利執行。
返回
/NclService/
快速連結
跳到主要內容
:::
首頁
關於本站
網站導覽
聯絡我們
國家圖書館
English
開啟查詢結果分析
查詢資訊
期刊論文索引(找篇目)
期刊指南(找期刊)
近代 (1853-1979年) 港澳華文期刊索引
漢學中心典藏大陸期刊論文索引
中國文化研究論文目錄
期刊瀏覽
檢索歷程
期刊授權
出版機構
公佈欄
常見問題
軟體工具下載
:::
首頁
>
查詢資訊
>
期刊論文索引查詢
>
詳目列表
查詢結果分析
來源資料
國立臺灣大學哲學論評
5 1982.01[民71.01]
頁177-202
辯證邏輯
>
辯證邏輯
相關文獻
基於守恒論域語意的量限模態邏輯的樹法
從新邏輯到新系統
量限模態邏輯的語意研究
A Study of Some COLOR Compound Words in English (Part 1)
多媒體電腦產品開發之感性特質的研究
國小學童語意與語法能力之研究
語意轉化模式在產品設計上的應用
產品造形記號理論應用之研究
指紋資訊與國民身分證明
設計師設計的手電筒好用嗎﹖
頁籤選單縮合
基本資料
引用格式
國圖館藏目錄
全國期刊聯合目錄
勘誤回報
我要授權
匯出書目
題 名
基於守恒論域語意的量限模態邏輯的樹法=Three Method for Quantified Modal Logic Based on Constant Domain Semantics
作 者
陳文秀
;
書刊名
國立臺灣大學哲學論評
卷 期
5 1982.01[民71.01]
頁 次
頁177-202
分類號
154
關鍵詞
守恒論域
;
語意
;
量限模態邏輯
;
邏輯語言
;
樹法
;
證明
;
語 文
中文(Chinese)
頁籤選單縮合
推文
引用網址
引用嵌入語法
Line
FB
Google bookmarks
本文的引用網址:
複製引用網址
本文的引用網址:
複製引用網址