A quantitative analysis of implicational paradoxes in classical mathematical logic

Yuichi Goto, Jingde Cheng. A quantitative analysis of implicational paradoxes in classical mathematical logic. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 42-43, ACM, 2006. [doi]

Authors

Yuichi Goto

This author has not been identified. Look up 'Yuichi Goto' in Google

Jingde Cheng

This author has not been identified. Look up 'Jingde Cheng' in Google