Skip to content

A quantitative analysis of implicational paradoxes in classical mathematical logic.

Yuichi Goto, Jingde Cheng

Year2006
ProceedingsSAC

Browse the full SAC paper archive.