The Kleene Symposium
North-Holland (1980)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesStephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) (1980). The Kleene Symposium: Proceedings of the Symposium Held June 18-24, 1978 at Madison, Wisconsin, U.S.A. Sole Distributors for the U.S.A. And Canada, Elsevier North-Holland.
John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen & Yiannis N. Moschovakis (1979). The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 44 (3):469-480.
Robin Gandy (1980). The Kleene Symposium. North-Holland.
Robin Gandy (1980). Church's Thesis and Principles for Mechanisms. In The Kleene Symposium. North-Holland.
Peter Jipsen (2004). From Semirings to Residuated Kleene Lattices. Studia Logica 76 (2):291 - 303.
Peter Aczel (1980). Frege Structures and the Notions of Proposition, Truth and Set. In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
Hisato Muraki (1999). Non-Distributive Upper Semilattice of Kleene Degrees. Journal of Symbolic Logic 64 (1):147-158.
J. R. Shoenfield & S. C. Kleene (1995). The Mathematical Work of S. C. Kleene. Bulletin of Symbolic Logic 1 (1):8-43.
Roberto Cignoli (1979). Coproducts in the Categories of Kleene and Three-Valued Łukasiewicz Algebras. Studia Logica 38 (3):237 - 245.
Beata Konikowska (1990). A Two-Valued Logic for Reasoning About Different Types of Consequence in Kleene's Three-Valued Logic. Studia Logica 49 (4):541 - 555.
Arnon Avron & Beata Konikowska (2009). Proof Systems for Reasoning About Computation Errors. Studia Logica 91 (2):273 - 293.
Enrique Alonso & Maria Manzano (2005). Diagonalisation and Church's Thesis: Kleene's Homework. History and Philosophy of Logic 26 (2):93-113.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-07-18Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
