Variations on a Theme of Curry
Humberstone, Lloyd
Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, p. 101-131 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
After an introduction to set the stage, we consider some variations on the reasoning behind Curry's Paradox arising against the background of classical propositional logic and of BCI logic and one of its extensions, in the latter case treating the "paradoxicality" as a matter of nonconservative extension rather than outright inconsistency. A question about the relation of this extension and a differently described (though possibly identical) logic intermediate between BCI and BCK is raised in a final section, which closes with a handful of questions left unanswered by our discussion.
Publié le : 2006-01-14
Classification:  Curry's Paradox,  truth-functions,  fixed points,  conservative extension,  substructural logics,  BCI logic,  03B47,  03B05 
@article{1143468315,
     author = {Humberstone, Lloyd},
     title = {Variations on a Theme of Curry},
     journal = {Notre Dame J. Formal Logic},
     volume = {47},
     number = {1},
     year = {2006},
     pages = { 101-131},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1143468315}
}

Humberstone, Lloyd. Variations on a Theme of Curry. Notre Dame J. Formal Logic, Tome 47 (2006) no. 1, pp.  101-131. http://gdmltest.u-ga.fr/item/1143468315/