The Completeness and Decidability of Intuitive Implication Logic System.

Guoping Du, Hongguang Wang, Na Li, Liang Xu

Browse the full ICNC paper archive.