| 2016 |
The Classical Model Existence Theorem in Subclassical Predicate Logics II, the Joint Conference of the 3rd Asian Workshop on Philosophical Logic & the 3rd Taiwan Philosophical Logic Colloquium (AWPL-TPLC 2016), Oct. 05-08, 2016, TWN中華民國(臺灣) |
| 2015 |
Implicational Logics and iterated Modus Ponens, The 15th Congress of Logic, Methodology and Philosophy of Science, CLMPS 2015, Aug. 03-08, 2015, FIN芬蘭共和國 |
| 2014 |
Explosiveness, Model Existence, and Incompatible Paraconsistencies, Logic Colloquium 2014, Jul. 14-19, 2014, AUT奧地利共和國 |
| 2013 |
Classical Model Existence in Higher Order Semantics , 臺灣邏輯、方法論與科學哲學國際學術研討會, Jun. 07-08, 2013, TWN中華民國(臺灣) |
| 2013 |
Explosiveness and Model Existence, The 4th World Congress on Universal Logic, Mar. 29-Apr. 07, 2013, BRA巴西聯邦共和國 |
| 2012 |
ON PARACONSISTENCY, 2012台灣哲學邏輯研討會, Dec. 07, 2012, TWN中華民國(臺灣) |
| 2012 |
CLASSICAL MODEL EXISTENCE WITHOUT MODUS PONENS, 2012 台灣哲學學會哲學研討會 道、覺知與規範, Oct. 19-21, 2012, TWN中華民國(臺灣) |
| 2012 |
On Nonstandard Reals and Granular Mathematics, Proceedings 2012 IEEE International Conference on Granular Computing, Aug. 11-13, 2012, CHN大陸地區(大陸) |
| 2012 |
PARACONSISTENCY AND MODEL EXISTENCE PROPERTY, 第三屆『道』與『德』研討會---知識、真理與詮釋, May. 11, 2012, TWN中華民國(臺灣) |
| 2011 |
Classical Model Existence and Pure Implicational Logic, 14TH CONGRESS OF LOGIC,METHODOLOGY AND PHILOSOPHY OF SCIENCE, Jul. 19-26, 2011, FRA法國 |
| 2011 |
Classical Model Existence and Paraconsistency, Logic Colloquium 2011, Jul. 11-16, 2011, ESP西班牙王國(西班牙) |
| 2010 |
A Remark on the Minimality of omega, 2010台灣哲學學會學術研討會「語言、知識與行動：視野之交融」, Oct. 23-24, 2010 |
| 2009 |
Glivenko's Theorem for weak normal modal logics, 第一屆臺灣邏輯與分析哲學會議, Oct. 31-Nov. 01, 2009 |
| 2009 |
A new axiomatization of pure implicational logic, 2009年台灣哲學學會年會暨「科學、文化、生命」哲學研討會, Oct. 24-25, 2009 |
| 2009 |
The classical model existence theorem in subclassical predicate logics II, Logic Colloquium 2009, Jul. 31-Aug. 05, 2009 |
