External Curries

Avron, A. (1988). The semantics and proof theory of linear logic. Theoretical Computer Science, 57, 161–184.

Beall, J. (2013). Curry’s Paradox In Zalta, E. N. (Ed.), The Stanford Encyclopedia of Philosophy. Spring Edition. http://plato.stanford.edu/archives/spr2013/entries/curry-paradox .

Beall, J., & Murzi, J. (2013). Two Flavors of Curry’s Paradox. The Journal of Philosophy, 110, 143–165.

Brady, R.T. (1994). Rules in Relevant Logic–I: Semantic Classification. Journal of Philosophical Logic, 23, 111–137.

Cook, R.T. (2014). There is No Paradox of Logical Validity. Logica Universalis. doi: 10.1007/s11787014-0094-4 .

Curry, H.B. (1942). The Inconsistency of Certain Formal Logics. Journal of Symbolic Logic, 7, 115–117.

Došen, K. (1988). Sequent Systems and Groupoid Models I. Studia Logica, 47, 353–389.

von Kutschera, F. (1968). Die Vollständigkeit des Operatorensystems {¬,∧,∨,⊃} für die intuitionistische Aussagenlogik im Rahmen der Gentzensemantik. Archiv für mathematische Logik und Grundlagenforschung, 11, 3–16.

Mares, E., & Paoli, F. (2014). Logical Consequence and the Paradoxes. Journal of Philosophical Logic, 43, 439–469.

Priest, G. (2013) Fusion and Confusion. Topoi. doi: 10.1007/s11245-013-9175-x .