| 出版年月 |
著作類別 |
著作名稱 |
作者 |
收錄出處 |
| 2023-03 |
專書論文
|
Mereology |
Hsing-chien Tsai |
Granular, Fuzzy, and Soft Computing
|
| 2022-02 |
期刊論文
|
On the effective universality
of mereological theories |
Nikolay Bazhenov and Hsing-Chien Tsai |
Mathematical Logic Quarterly
|
| 2018-12 |
專書論文
|
論台灣邏輯研究先驅黃金穗對邏輯的理解 |
蔡行健 |
啟蒙與反叛—台灣哲學的百年浪潮
|
| 2018-07 |
期刊論文
|
General Extensional Mereology is Finitely Axiomatizable |
Tsai, Hsing-chien |
Studia Logica
|
| 2017-12 |
專書論文
|
Infinite "Atomic" Mereological Structures |
Tsai, Hsing-chien |
Philosophical Logic: Current Trends in Asia—Proceedings of AWPL-TPLC 2016
|
| 2016-04 |
期刊論文
|
Atoms, Gunk, and the Limits of ‘Composition’ |
Hsing-chien Tsai, Achille Varzi |
Erkenntnis
|
| 2015-12 |
期刊論文
|
Notes on models of first-order mereological theories |
Hsing-chien Tsai |
Logic and Logical Philosophy
|
| 2015-04 |
期刊論文
|
On the Decidability of Axiomatized Mereotopological Theories |
Hsing-chien Tsai |
Notre Dame Journal of Formal Logic
|
| 2013-10 |
期刊論文
|
A Comprehensive Picture of the Decidability of Mereological Theories |
Hsing-chien Tsai |
Studia Logica
|
| 2013-09 |
期刊論文
|
Finitely Inseparable First-order Axiomatized Mereotopological Theories |
Hsing-chien Tsai |
Logic and Logical Philosophy
|
| 2013-06 |
期刊論文
|
Decidability of General Extensional Mereology |
Hsing-chien Tsai |
Studia Logica
|
| 2012-08 |
研討會論文
|
First-order Axiomatization of Rough Mereology |
Hsing-chien Tsai |
|
| 2011-09 |
期刊論文
|
More on the Decidability of Mereological Theories |
Hsing-chien Tsai |
Logic and Logical Philosophy
|
| 2011-07 |
期刊論文
|
電玩遊戲中的哲學省思 |
蔡行健 |
新聞學研究
|
| 2010-08 |
研討會論文
|
On Imagining Mathematical Objects |
Hsing-chien Tsai |
|
| 2009-12 |
期刊論文
|
如何讓不具備良好數學背景的學生理解邏輯的證明—以緊致性定理 (Compactness Theorem) 等邏輯定理為例 |
蔡行健 |
哲學研究
|
| 2009-08 |
期刊論文
|
Decidability of Mereological Theories |
Hsing-chien Tsai |
Logic and Logical Philosophy
|
| 2009-01 |
期刊論文
|
哥德爾的不完備性定理與心靈是否為機器的論爭 |
蔡行健 |
國立政治大學哲學學報
|
| 2005-03 |
其他
|
The Logic and Metaphysics of Part-whole Relations |
蔡行健 |
|
主要學歷