greg_restall's Top Recommendations

These recommendations were last updated about 2 hours ago.

	Hilbert's Programs: 1917-1922 [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 1. (1999), pp. 1-44. by Wilfried Sieg posted by 3 people noam_zeilberger rzach LogicPhilMath
	The Mathematical Development of Set Theory from Cantor to Cohen [My Copy] The Bulletin of Symbolic Logic, Vol. 2, No. 1. (1996), pp. 1-71. by Akihiro Kanamori posted by 11 people JoseBrox A_Olympia recordmymind rzach aeagle ds Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath Scis0000002 ansobol
	Context, indexicals and the sorites [My Copy] Analysis, Vol. 64, No. 284., 362. by Jonathan Ellis posted by 5 people recordmymind rzach Weatherson davsans LogicPhilMath
	Ramsey on Truth and Truth on Ramsey [My Copy] British Journal for the History of Philosophy, Vol. 12, No. 4., 705. by Pierre L. Le Morvan posted by 6 people A_Olympia recordmymind rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	On rules of inference and the meanings of logical constants [My Copy] Analysis, Vol. 68, No. 300. (October 2008), pp. 282-287. by Raatikainen, Panu posted by 3 people ceci yoriyuki rzach
	Gender differences in grant peer review: A meta-analysis [My Copy] (23 Feb 2007) by Lutz Bornmann, Ruediger Mutz, Hans-Dieter Daniel posted by 1 person rzach
	On arithmetical complexity of fragments of prominent fuzzy predicate logics [My Copy] Soft Computing - A Fusion of Foundations, Methodologies and Applications, Vol. 12, No. 4. (28 February 2008), pp. 335-340. by Petr Hájek posted by 1 person rzach
	Heyting predicate calculus with epsilon symbol [My Copy] Journal of Mathematical Sciences, Vol. 8, No. 3. (1977), pp. 317-323. by G. E. Mints posted by 1 person rzach
	Normal derivability in classical logic [My Copy] The Syntax and Semantics of Infinitary Languages (1968), pp. 204-236. by W. Tait posted by 1 person rzach
	Comparing the Complexity of Cut-Elimination Methods [My Copy] Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings (2001), 49. by Matthias Baaz, Alexander Leitsch posted by 2 people rzach yoriyuki
	Choice in Dynamic Linking [My Copy] Foundations of Software Science and Computation Structures (2004), pp. 12-26. by Martín Abadi, Georges Gonthier, Benjamin Werner posted by 2 people ConcertRG rzach
	Cut elimination for the second order propositional logic with Hilbert's ε-symbol, extensionality, and full comprehension [My Copy] Logical Foundations of Computer Science (1997), pp. 113-118. by Michael Gavrilovich posted by 1 person rzach
	Completeness of indexed e-calculus [My Copy] Archive for Mathematical Logic, Vol. 42, No. 7. (1 October 2003), pp. 617-625. by G. E. Mints, Darko Sarenac posted by 1 person rzach
	Cut-Elimination for Simple Type Theory with an Axiom of Choice [My Copy] The Journal of Symbolic Logic, Vol. 64, No. 2. (1999), pp. 479-485. by G. Mints posted by 1 person rzach
	Hilbert's ε-Terms in Automated Theorem Proving [My Copy] Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX´99, Saratoga Springs, NY, USA, June 1999. Proceedings (1999), pp. 662-662. by Martin Giese, Wolfgang Ahrendt posted by 1 person rzach
	Hilbert's &epsi;-operator in intuitionistic type theories [My Copy] Mathematical Logic Quarterly, Vol. 39, No. 1. (1993), pp. 323-337. by John L. Bell posted by 1 person rzach
	Intuitionistic &epsi;- and ?-calculi [My Copy] Mathematical Logic Quarterly, Vol. 41, No. 4. (1995), pp. 523-546. by David Devidi posted by 1 person rzach
	Theorie der Logischen Auswahlfunktionen [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 3, No. 1-5. (1957), pp. 30-68. by Günter Asser posted by 1 person rzach
	Cut Elimination in ϵ-Calculi [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 28, No. 20-21. (1982), pp. 311-316. by Mitsuru Yasuhara posted by 1 person rzach
	An Addition to ?Cut Elimination in &epsi;-Calculi? [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 35, No. 6. (1989), pp. 483-484. by Mitsuru Yasuhara posted by 1 person rzach
	Cut Elimination in a Gentzen-Style &epsi;-Calculus Without Identity [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 23, No. 36. (1977), pp. 527-538. by Linda Wessels posted by 1 person rzach
	Never say never [My Copy] Topoi, Vol. V13, No. 2. (1994), pp. 135-145. by Timothy Williamson posted by 2 people rzach LogicPhilMath
	What's so special about Kruskal's theorem and the ordinal [Gamma]o? A survey of some results in proof theory [My Copy] Annals of Pure and Applied Logic, Vol. 53, No. 3. (19 September 1991), pp. 199-260. by Gallier posted by 3 people yoriyuki rzach LogicPhilMath
	Naming and Diagonalization, from Cantor to Godel to Kleene [My Copy] Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 709-728. by Gaifman, Haim posted by 2 people rzach LogicPhilMath
	After Godel [My Copy] Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 745-754. by Putnam, Hilary posted by 2 people rzach LogicPhilMath
	Mathematical Method and Proof [My Copy] Synthese, Vol. 153, No. 1. (November 2006), pp. 105-159. by Avigad, Jeremy posted by 4 people antemeridiem qwermish rzach LogicPhilMath
	Epsilon Calculi [My Copy] Logic Journal of the IGPL, Vol. 14, No. 4. (August 2006), pp. 535-590. by Slater, Barry Hartley posted by 2 people rzach LogicPhilMath
	The Impact of the Lambda Calculus in Logic and Computer Science [My Copy] The Bulletin of Symbolic Logic, Vol. 3, No. 2. (1997), pp. 181-215. by Henk Barendregt posted by 2 people rzach LogicPhilMath
	Recursive functions of symbolic expressions and their computation by machine, Part I [My Copy] Commun. ACM, Vol. 3, No. 4. (April 1960), pp. 184-195. by John Mccarthy posted by 9 people ConcertRG robertjohnsimmons BDFish egh rzach thsutton lop LogicPhilMath mxp
	Self-Knowledge and "Inner Sense": Lecture II: The Broad Perceptual Model [My Copy] Philosophy and Phenomenological Research, Vol. 54, No. 2. (1994), pp. 271-290. by Sydney Shoemaker posted by 3 people rzach MorganHill LogicPhilMath
	Self-Knowledge and "Inner Sense": Lecture I: The Object Perception Model [My Copy] Philosophy and Phenomenological Research, Vol. 54, No. 2. (1994), pp. 249-269. by Sydney Shoemaker posted by 3 people rzach MorganHill LogicPhilMath
	A System of Axioms for Geometry [My Copy] Transactions of the American Mathematical Society, Vol. 5, No. 3. (1904), pp. 343-384. by Oswald Veblen posted by 5 people A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Uniform Proof Complexity [My Copy] Journal of Logic and Computation, Vol. 15, No. 4. (August 2005), pp. 433-446. by Arnold Beckmann posted by 3 people rzach johannsen LogicPhilMath
	A Note on Linear Kripke Models [My Copy] Journal of Logic and Computation, Vol. 15, No. 4. (August 2005), pp. 489-506. by Rosalie Iemhoff posted by 2 people rzach LogicPhilMath
	Michael Potter, Reason's Nearest Kin [My Copy] (2002) by S. Shieh posted by 2 people rzach LogicPhilMath
	A non-arithmetical Godel logic [My Copy] Logic Journal of the IGPL, Vol. 13, No. 4. (July 2005), pp. 435-441. by Petr Hajek posted by 2 people rzach LogicPhilMath
	Deflating the Conservativeness Argument [My Copy] The Journal of Philosophy, Vol. 96, No. 10. (1999), pp. 533-540. by Hartry Field posted by 3 people cirodeflorio rzach LogicPhilMath
	Conservativeness and Incompleteness [My Copy] The Journal of Philosophy, Vol. 80, No. 9. (1983), pp. 521-531. by Stewart Shapiro posted by 4 people cirodeflorio rzach madzic LogicPhilMath
	Vagueness and Mathematical Precision [My Copy] Mind, Vol. 111, No. 442. (April 2002), pp. 225-248. by R. T. Cook posted by 2 people rzach LogicPhilMath
	Diagonalisation and Church's Thesis: Kleene's Homework [My Copy] History and Philosophy of Logic, Vol. 26, No. 2. (May 2005), pp. 93-113. by Enrique Alonso, Maria Manzano posted by 5 people A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	An ordinal analysis of stability [My Copy] Archive for Mathematical Logic, Vol. 44, No. 1. (January 2005), pp. 1-62. by Michael Rathjen posted by 3 people rzach htowsner LogicPhilMath
	An ordinal analysis of parameter free Î <sup>1</sup><sub>2</sub>-comprehension [My Copy] Archive for Mathematical Logic, Vol. 44, No. 3. (April 2005), pp. 263-362. by Michael Rathjen posted by 3 people rzach htowsner LogicPhilMath
	Hilbert's Program Revisited [My Copy] Synthese, Vol. 137, No. 1 - 2. (November 2003), pp. 157-177. by Panu Raatikainen posted by 2 people rzach LogicPhilMath
	The Frege-Hilbert Controversy [My Copy] Philosophy and Phenomenological Research, Vol. 34, No. 3. (1974), pp. 386-403. by Michael D. Resnik posted by 2 people rzach LogicPhilMath
	On the scheme of induction for bounded arithmetic formulas [My Copy] Annals of Pure and Applied Logic, Vol. 35 (1987), pp. 261-302. by A. Wilkie, J. Paris posted by 3 people rzach LogicPhilMath yoriyuki
	Godel's Second Incompleteness Theorem for Q [My Copy] The Journal of Symbolic Logic, Vol. 41, No. 2. (1976), pp. 503-512. by A. Bezboruah, J. C. Shepherdson posted by 2 people rzach LogicPhilMath
	Cuts, Consistency Statements and Interpretations [My Copy] The Journal of Symbolic Logic, Vol. 50, No. 2. (1985), pp. 423-441. by Pavel Pudlak posted by 2 people rzach LogicPhilMath
	A note on Hajek, Paris and Shepherdson's theorem [My Copy] Logic Journal of the IGPL, Vol. 13, No. 2. (March 2005), pp. 261-266. by Shunsuke Yatabe posted by 2 people rzach LogicPhilMath
	A proof-theoretical investigation of global intuitionistic (fuzzy) logic [My Copy] Archive for Mathematical Logic, Vol. 44, No. 4. (May 2005), pp. 435-457. by Agata Ciabattoni posted by 2 people rzach LogicPhilMath
	Epsilon substitution for transfinite induction [My Copy] Archive for Mathematical Logic, Vol. 44, No. 4. (May 2005), pp. 397-412. by Henry Towsner posted by 2 people rzach LogicPhilMath
	Are there Genuine Mathematical Explanations of Physical Phenomena? [My Copy] Mind, Vol. 114, No. 454. (April 2005), pp. 223-238. by Alan Baker posted by 4 people rzach LogicPhilMath Philosophy of physics qwermish
	The Use of the Computer in the Proof of the Four Color Theorem [My Copy] Proceedings of the American Philosophical Society, Vol. 128, No. 1. (1984), pp. 35-39. by Kenneth I. Appel posted by 2 people rzach LogicPhilMath
	Computers, Proofs and Mathematicians: A Philosophical Investigation of the Four-Color Proof [My Copy] Mathematics Magazine, Vol. 53, No. 3. (1980), pp. 131-138. by Thomas Tymoczko posted by 5 people A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Computer Use to Computer Proof: A Rational Reconstruction [My Copy] The Two-Year College Mathematics Journal, Vol. 12, No. 2. (1981), pp. 120-125. by Thomas Tymoczko posted by 2 people rzach LogicPhilMath
	The Philosophical Implications of the Four-Color Problem [My Copy] The American Mathematical Monthly, Vol. 87, No. 9. (1980), pp. 697-707. by E. R. Swart posted by 2 people rzach LogicPhilMath
	Computer Proof [My Copy] The Journal of Philosophy, Vol. 77, No. 12. (1980), pp. 797-803. by Paul Teller posted by 2 people rzach LogicPhilMath
	The Four-Color Theorem and Mathematical Proof [My Copy] The Journal of Philosophy, Vol. 77, No. 12. (1980), pp. 803-820. by Michael Detlefsen, Mark Luker posted by 2 people rzach LogicPhilMath
	The Four-Color Problem and Its Philosophical Significance [My Copy] The Journal of Philosophy, Vol. 76, No. 2. (1979), pp. 57-83. by Thomas Tymoczko posted by 2 people rzach LogicPhilMath
	Bibliography of Alfred Tarski [My Copy] The Journal of Symbolic Logic, Vol. 51, No. 4. (1986), pp. 913-941. by Steven Givant posted by 6 people A_Olympia rzach kolesov Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Why Numbers Are Sets [My Copy] Synthese, Vol. 133, No. 3. (December 2002), pp. 343-361. by E. Steinhart posted by 5 people A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Tarski's System of Geometry [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 2. (1999), pp. 175-214. by Alfred Tarski, Steven Givant posted by 6 people shankar A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 331-366. by Richard Zach posted by 5 people A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Between Russell and Hilbert: Behmann on the Foundations of Mathematics [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 303-330. by Paolo Mancosu posted by 2 people rzach LogicPhilMath
	19th Century Logic between Philosophy and Mathematics [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 4. (1999), pp. 433-450. by Volker Peckhaus posted by 5 people A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Towards a Re-Evaluation of Julius Konig's Contribution to Logic [My Copy] The Bulletin of Symbolic Logic, Vol. 6, No. 1. (2000), pp. 45-66. by Miriam Franchella posted by 2 people rzach LogicPhilMath
	Does Mathematics Need New Axioms? [My Copy] The Bulletin of Symbolic Logic, Vol. 6, No. 4. (2000), pp. 401-446. by Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel posted by 6 people A_Olympia rzach Ed Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	On the Unusual Effectiveness of Logic in Computer Science [My Copy] The Bulletin of Symbolic Logic, Vol. 7, No. 2. (2001), pp. 213-236. by Joseph Y. Halpern, Robert Harper, Neil Immerman, Phokion G. Kolaitis, Moshe Y. Vardi, Victor Vianu posted by 3 people education03 rzach LogicPhilMath
	The Road to Modern Logic-An Interpretation [My Copy] The Bulletin of Symbolic Logic, Vol. 7, No. 4. (2001), pp. 441-484. by Jose Ferreiros posted by 2 people rzach LogicPhilMath
	Types in Logic and Mathematics before 1940 [My Copy] The Bulletin of Symbolic Logic, Vol. 8, No. 2. (2002), pp. 185-245. by Fairouz Kamareddine, Twan Laan, Rob Nederpelt posted by 2 people rzach LogicPhilMath
	Generalizing theorems in real closed fields [My Copy] Annals of Pure and Applied Logic, Vol. 75, No. 1-2. (12 September 1995), pp. 3-23. by Matthias Baaz, Richard Zach posted by 2 people rzach LogicPhilMath
	Completeness of a first-order temporal logic with time-gaps [My Copy] Theoretical Computer Science, Vol. 160, No. 1-2. (10 June 1996), pp. 241-270. by Matthias Baaz, Alexander Leitsch, Richard Zach posted by 2 people rzach LogicPhilMath
	Transfinite Progressions: A Second Look at Completeness [My Copy] The Bulletin of Symbolic Logic, Vol. 10, No. 3. (2004), pp. 367-389. by Torkel Franzen posted by 2 people rzach LogicPhilMath
	On the Philosophical Development of Kurt Godel [My Copy] The Bulletin of Symbolic Logic, Vol. 9, No. 4. (2003), pp. 425-476. by Mark V. Van Atten, Juliette Kennedy posted by 2 people rzach LogicPhilMath
	Indispensability and Practice [My Copy] The Journal of Philosophy, Vol. 89, No. 6. (1992), pp. 275-289. by Penelope Maddy posted by 2 people rzach LogicPhilMath
	Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs [My Copy] History and Philosophy of Logic, pp. 79-94. by Richard Zach posted by 5 people A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	TRUTH, REFLECTION, AND HIERARCHIES [My Copy] Synthese, Vol. 142, No. 3. (February 2005), pp. 289-315. by Michael Glanzberg posted by 2 people rzach LogicPhilMath
	TRUTH AND DISQUOTATION [My Copy] Synthese, Vol. 142, No. 3. (February 2005), pp. 317-352. by Richard Heck posted by 5 people A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	How to Apply Mathematics [My Copy] Erkenntnis, Vol. 61, No. 1., 17. by Ulrich Meyer posted by 2 people rzach LogicPhilMath
	Computer Implication and the Curry Paradox [My Copy] Journal of Philosophical Logic, Vol. 33, No. 6., 631. by Wayne Aitken, Jeffrey A. Barrett posted by 3 people rzach yarden LogicPhilMath
	Observational ultraproducts of polynomial coalgebras [My Copy] Annals of Pure and Applied Logic, Vol. 123, No. 1. (15 October 2003), pp. 235-290. by R. Goldblatt posted by 1 person dakvid
	Unembedding domain-specific languages [My Copy] In Haskell '09: Proceedings of the 2nd ACM SIGPLAN symposium on Haskell (2009), pp. 37-48. by Robert Atkey, Sam Lindley, Jeremy Yallop posted by 3 people keigoi jcreed noam_zeilberger
	Observational equality, now! [My Copy] In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68. by Thorsten Altenkirch, Conor McBride, Wouter Swierstra posted by 5 people fvogels msakai pedagand noam_zeilberger Benja
	Visualizations of the Square of Opposition [My Copy] Logica Universalis, Vol. 2, No. 1. (1 March 2008), pp. 31-41. by Peter Bernhard posted by 1 person noam_zeilberger
	Sober spaces and continuations [My Copy] Theory and Applications of Categories, Vol. 10, pp. 200-2. by Paul Taylor posted by 1 person noam_zeilberger
	Presentation of a Game Semantics for First-Order Propositional Logic [My Copy] (7 May 2008) by Samuel Mimram posted by 2 people jrw noam_zeilberger
	Godel's Theorem: An Incomplete Guide to Its Use and Abuse [My Copy] (25 May 2005) by Torkel Franzen posted by 2 people noam_zeilberger NitinCR
	Geometric And Higher Order Logic In Terms Of Abstract Stone Duality [My Copy] by Paul Taylor posted by 2 people Constructivity noam_zeilberger
	Stone Spaces (Cambridge Studies in Advanced Mathematics) [My Copy] (29 April 1983) by Peter T. Johnstone posted by 2 people adrian_pigors noam_zeilberger
	Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) [My Copy] (27 October 1994) by Saunders MacLane, Ieke Moerdijk posted by 8 people noam_zeilberger NitinCR christiankissig DavidChemouil mahler hhalvors Rightscom mmarcus
	Notions of Computation Determine Monads [My Copy] In Foundations of Software Science and Computation Structure (2002), pp. 342-356. by Gordon D. Plotkin, John Power posted by 10 people noam_zeilberger greenrd JeffreyPalmer cedricboidin zednenem mahler mstone glaubersp Rightscom SRG_at_UCD
	The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code [My Copy] In FLOPS '99: Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming (1999), pp. 300-318. by Atsushi Ohori posted by 3 people ddemange noam_zeilberger jespera
	Representing monads [My Copy] In POPL '94: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages (1994), pp. 446-457. by Andrzej Filinski posted by 9 people noam_zeilberger bhoward amp269 twleung dherman JacquesC JeffreyPalmer voigt NU-PRL
	WoLLIC 2004 Preliminary Version [My Copy] by Living W. Paradoxes posted by 1 person recordmymind
	Costing Non-Classical Solutions to the Paradoxes of Self-Reference [My Copy] by Greg Restall posted by 1 person recordmymind
	The Principle of Uniform Solution (of the Paradoxes of Self-Reference) [My Copy] by Nicholas J. J. Smith posted by 1 person recordmymind
	A theory of truth that prefers falsehood [My Copy] (1997) by -. Fitting posted by 4 people recordmymind suizan tekno Jon_Loewe
	The History of Mathematical Logic (vastly abbreviated and horribly simplified) [My Copy] by Michal Walicki posted by 1 person recordmymind
	Incomputability In Nature [My Copy] by Barry C. Department posted by 2 people recordmymind mstn
	Basic Model Theory [My Copy] (1996) by Kees Doets posted by 4 people education01 web03 p2p01 recordmymind
	Computability and Recursion [My Copy] The Bulletin of Symbolic Logic, Vol. 2, No. 3. (1996), pp. 284-321. by Robert I. Soare posted by 1 person recordmymind