noam_zeilberger's Top Recommendations

These recommendations were last updated about an hour ago.

	Categories for the Working Mathematician (Graduate Texts in Mathematics) [My Copy] (25 September 1998) by Saunders M. Lane posted by 16 people robotact shivak pedagand ansobol mahler BarrosH msakai bonotake aleks mstone NitinCR conal Rightscom Compilers masteraka mmarcus
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted by 23 people ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup mmarcus ps_ttf
	ROBERT JENSON ON THE PRE-EXISTENCE OF CHRIST [My Copy] Modern Theology, Vol. 23, No. 1. (January 2007), pp. 27-45. by Oliver D. Crisp posted by 1 person greg_restall
	The Liar Paradox from John Buridan back to Thomas Bradwardine [My Copy] Vivarium, Vol. V40, No. 2. (1 October 2002), pp. 189-218. by Stephen Read posted by 1 person greg_restall
	Epistemic actions as resources [My Copy] (7 Aug 2006) by Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh posted by 6 people pirapira leemond31 jrw greg_restall dmitri83 Scis0000002
	Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic, Vol. 16) (Lecture Notes in Logic, 16) [My Copy] (08 September 2004) by Torkel Franzen, T. Franze posted by 1 person greg_restall
	The first axiomatization of relevant logic [My Copy] Journal of Philosophical Logic, Vol. 21, No. 4. (November 1992), pp. 339-356. by Kosta Doå¡en posted by 3 people greg_restall scis0000001 Scis0000002
	Substructural Logics: A Primer (Trends in Logic) [My Copy] (31 May 2002) by F. Paoli posted by 1 person greg_restall
	A Natural Deduction System for Keisler's Quantification [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 2004), Vol. 123 (1 March 2005), pp. 229-240. by Christian J. Renteria, Edward H. Haeusler posted by 1 person greg_restall
	Modal Logic As Dialogical Logic [My Copy] Synthese, Vol. 127, No. 1 - 2. (April 2001), pp. 57-93. by Patrick Blackburn posted by 2 people greg_restall Scis0000002
	A semantical proof of the strong normalization theorem for full propositional classical natural deduction [My Copy] Archive for Mathematical Logic, Vol. 45, No. 3. (March 2006), pp. 357-364. by Karim Nour, Khelifa Saber posted by 1 person greg_restall
	From Modal Discourse to Possible Worlds [My Copy] Studia Logica, Vol. 82, No. 3. (April 2006), pp. 307-327. by Cresswell, Maxwell posted by 3 people greg_restall JessLaccetti Transliteracy
	Continuations, proofs and tests [My Copy] (9 May 2006) by Stefano Guerrini, Andrea Masini posted by 2 people jrw greg_restall
	Restricted exchange, braidings and the monoidal centre [My Copy] (1 May 2006) by Jonathan A. Cohen, Craig A. Pastro posted by 1 person greg_restall
	Meaning Approached Via Proofs [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 507-524. by Dag Prawitz posted by 1 person greg_restall
	Validity Concepts in Proof-theoretic Semantics [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 525-571. by Peter Schroeder-Heister posted by 1 person greg_restall
	The Justification of the Logical Laws Revisited [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 573-588. by Patrizio Contu posted by 1 person greg_restall
	On the Proof-theoretic Foundation of General Definition Theory [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 589-602. by Lars Hallnas posted by 1 person greg_restall
	Proof-theoretic Semantics for Classical Mathematics [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 603-622. by William Tait posted by 1 person greg_restall
	Semantic Values for Natural Deduction Derivations [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 623-638. by Goran Sundholm posted by 1 person greg_restall
	Models of Deduction* [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 639-657. by Kosta Dosen posted by 1 person greg_restall
	Towards a Semantics Based on the Notion of Justification [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 675-699. by Gabriele Usberti posted by 1 person greg_restall
	The Cable Guy paradox [My Copy] Analysis, Vol. 65, No. 286. (2005), pp. 112-119. by Alan Hajek posted by 1 person greg_restall
	Structure of proofs and the complexity of cut elimination [My Copy] Theoretical Computer Science, Vol. 353, No. 1-3. (14 March 2006), pp. 63-70. by Wenhui Zhang posted by 1 person greg_restall
	Equality of Proofs for Linear Equality [My Copy] (30 Jan 2006) by K. Dosen, Z. Petric posted by 2 people greg_restall vcvpaiva
	On Coherence in Computer Algebra [My Copy] In Design and Implementation of Symbolic Computation Systems (1993), pp. 95-106. by Andreas Weber posted by 2 people greg_restall jonjonc
	Logic and Meaning: The Philosophical Significance of the Sequent Calculus [My Copy] by Michael Kremer posted by 4 people MichaelDe rzach greg_restall LogicPhilMath
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted by 9 people greenrd jrw greg_restall zednenem josefs voigt msakai EdwardKmett SRG_at_UCD
	A categorical semantics of quantum protocols [My Copy] (30 Apr 2004) by Samson Abramsky, Bob Coecke posted by 7 people christiankissig pqnelson jrw greg_restall dmitri83 scis0000001 eswar_physics
	Kant, Bolzano, and the Emergence of Logicism [My Copy] The Journal of Philosophy, Vol. 79, No. 11. (1982), pp. 679-689. by Alberto Coffa posted by 3 people rzach greg_restall LogicPhilMath
	Coherence of Proof-Net Categories [My Copy] (9 Sep 2005) by K. Dosen, Z. Petric posted by 1 person greg_restall
	Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory) [My Copy] by Per Martin-Lof posted by 3 people pedagand greg_restall msakai
	Proof-theoretical Coherence (Studies in Logic S.) [My Copy] (31 December 2004) by Kosta Dosen, Zoran Petric posted by 2 people greg_restall jonjonc
	The Constructive Hilbert Program and the Limits of Martin-Lof Type Theory [My Copy] Synthese, Vol. 147, No. 1. (October 2005), pp. 81-120. by Michael Rathjen posted by 1 person greg_restall
	Propositional logic of continuous transformations in Cantor space [My Copy] Archive for Mathematical Logic, Vol. 44, No. 6. (2005), pp. 783-799. by Grigori Mints, Ting Zhang posted by 5 people A_Olympia greg_restall scis0000001 Philosophy_of_Information Blog_and_Wiki_Research
	Modularity of proof-nets [My Copy] Archive for Mathematical Logic, Vol. 44, No. 2. (February 2005), pp. 167-193. by Roberto Maieli, Quintijn Puite posted by 1 person greg_restall
	An approach to infinitary temporal proof theory [My Copy] Archive for Mathematical Logic, Vol. 43, No. 8. (November 2004), pp. 965-990. by Baratella, Stefano, Masini, Andrea posted by 1 person greg_restall
	Softness of MALL proof-structures and a correctness criterion with Mix [My Copy] Archive for Mathematical Logic, Vol. 43, No. 6. (2004), pp. 751-794. by Masahiro Hamano posted by 1 person greg_restall
	Proof-theoretical analysis of order relations [My Copy] Archive for Mathematical Logic, Vol. 43, No. 3. (April 2004), pp. 297-309. by Sara Negri, Jan Plato, Thierry Coquand posted by 1 person greg_restall
	The logic of equilibrium and abelian lattice ordered groups [My Copy] Archive for Mathematical Logic, Vol. 43, No. 2. (February 2004), pp. 141-158. by Adriana Galli, Renato A. Lewin, Marta Sagastume posted by 1 person greg_restall
	Some new intuitionistic equivalents of Zornâs Lemma [My Copy] Archive for Mathematical Logic, Vol. 42, No. 8. (November 2003), pp. 811-814. by John L. Bell posted by 1 person greg_restall
	L i D Z ? as a basis for PRA [My Copy] Archive for Mathematical Logic, Vol. 42, No. 7. (October 2003), pp. 665-694. by Uwe Petersen posted by 1 person greg_restall
	Contraction-free sequent calculi for geometric theories with an application to Barr's theorem [My Copy] Archive for Mathematical Logic, Vol. 42, No. 4. (May 2003), pp. 389-401. by Sara Negri posted by 1 person greg_restall
	Two measures for proving Gentzen's Hauptsatz without mix [My Copy] Archive for Mathematical Logic, Vol. 42, No. 4. (May 2003), pp. 371-387. by Mirjana Borisavljeviä posted by 1 person greg_restall
	Bicartesian Coherence [My Copy] (19 Aug 2003) by K. Dosen, Z. Petric posted by 1 person greg_restall
	Under Carnap's Lamp: Flat Pre-semantics [My Copy] Studia Logica, Vol. 80, No. 1. (June 2005), pp. 1-28. by Nuel Belnap posted by 1 person greg_restall
	On the symmetry of logic [My Copy] Journal of Physics A Mathematical General, Vol. 28 (October 1995), pp. 5623-5631. by M. R. Rayner, D. J. Newman posted by 2 people jrw greg_restall
	Learning Logical Tolerance: Hans Hahn on the Foundations of Mathematics [My Copy] History and Philosophy of Logic, Vol. 26, No. 3. (September 2005), pp. 175-209. by Thomas Uebel posted by 3 people rzach greg_restall LogicPhilMath
	On arithmetic in the Cantor- Åukasiewicz fuzzy set theory [My Copy] Archive for Mathematical Logic, Vol. 44, No. 6. (2005), pp. 763-782. by Petr Hã¡jek posted by 3 people rzach greg_restall LogicPhilMath
	A Pragmatic Interpretation of Quantum Logic [My Copy] (13 Jul 2005) by Claudio Garola posted by 2 people jrw greg_restall
	Models for a paraconsistent set theory [My Copy] Journal of Applied Logic, Vol. 3, No. 1. (March 2005), pp. 15-41. by Thierry Libert posted by 1 person greg_restall
	Associativity as Commutativity [My Copy] (5 Jul 2005) by K. Dosen, Z. Petric posted by 3 people jrw greg_restall jonjonc
	Introduction to Cirquent Calculus and Abstract Resource Semantics [My Copy] (27 Jun 2005) by Giorgi Japaridze posted by 2 people greg_restall Anyzev
	The Haskell Road To Logic, Maths And Programming [My Copy] (31 May 2004) by Kees Doets, Jan E. Van posted by 10 people dsquared greg_restall thsutton grzegorz madhadron rgb flashfonic R13 pileWorks jasmithoffice
	Incompleteness, Mechanism, and Optimism [My Copy] The Bulletin of Symbolic Logic, Vol. 4, No. 3. (1998), pp. 273-302. by Stewart Shapiro posted by 3 people rzach greg_restall LogicPhilMath
	The Russellian Influence on Hilbert and his School [My Copy] Synthese, Vol. 137, No. 1 - 2. (November 2003), pp. 59-101. by Paolo Mancosu posted by 6 people A_Olympia rzach greg_restall Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	The logic of entanglement [My Copy] (2 March 2004) by Bob Coecke posted by 7 people A_Olympia jrw greg_restall dmitri83 Philosophy_of_Information Blog_and_Wiki_Research eswar_physics
	True, Truer, Truest [My Copy] Philosophical Studies, Vol. 123, No. 1-2. (March 2005), pp. 47-70. by Brian Weatherson posted by 5 people rzach greg_restall ketangli LogicPhilMath ur-cls
	Making Counterfactual Assumptions [My Copy] Journal of Semantics, Vol. 22, No. 2. (15 May 2005), pp. 159-180. by Frank Veltman posted by 5 people greg_restall garyfeng ly3 MorganHill ReadingLab
	Skolem's Discovery of GÃ¶del-Dummett Logic [My Copy] Studia Logica, Vol. 73, No. 1. (February 2003), pp. 153-157. by Jan von Plato posted by 3 people rzach greg_restall LogicPhilMath
	Quantification, Substitution, and Conceptual Content [My Copy] Noûs, Vol. 30, No. 4. (1996), pp. 481-507. by Mark Lance posted by 1 person greg_restall
	WHY AN EXPRESSIVIST SHOULD NOT COMMIT TO COMMITMENT-SEMANTICS [My Copy] Proceedings of the Aristotelian Society, Vol. 105, No. 3. (May 2005), pp. 403-409. by Jorn Sonderholm posted by 1 person greg_restall
	A Problem of Normal Form in Natural Deduction [My Copy] MLQ, Vol. 46, No. 1. (4 February 2000), pp. 121-124. by Jan v. von Plato posted by 1 person greg_restall
	Interaction Net Implementation of Additive and Multiplicative Structures [My Copy] Journal of Logic and Computation, Vol. 15, No. 2. (April 2005), pp. 219-237. by Ian Mackie posted by 1 person greg_restall
	Herbrand Award Acceptance Speech [My Copy] Journal of Automated Reasoning, Vol. 31, No. 2. (2003), pp. 169-187. by P. B. Andrews posted by 3 people rzach greg_restall LogicPhilMath
	A Brief History of Natural Deduction [My Copy] History and Philosophy of Logic, Vol. 20, No. 1. (1 March 1999), pp. 1-31. by F. J. Pelletier posted by 2 people greg_restall dakvid
	Resolution and the Origins of Structural Reasoning: Early Proof-Theoretic Ideas of Hertz and Gentzen [My Copy] The Bulletin of Symbolic Logic, Vol. 8, No. 2. (2002), pp. 246-265. by Peter Schroeder-Heister posted by 6 people A_Olympia rzach greg_restall Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Identity of Proofs Based on Normalization and Generality [My Copy] The Bulletin of Symbolic Logic, Vol. 9, No. 4. (2003), pp. 477-503. by Kosta Dosen posted by 4 people rzach greg_restall LogicPhilMath yoriyuki
	Hypersequent Calculi for Godel Logics - a Survey [My Copy] Journal of Logic and Computation, Vol. 13, No. 6. (December 2003), pp. 835-861. by M. Baaz, A. Ciabattoni, C. G. Fermuller posted by 4 people rzach greg_restall htowsner LogicPhilMath
	A Note on the Entscheidungsproblem [My Copy] The Journal of Symbolic Logic, Vol. 1, No. 1. (1936), pp. 40-41. by Alonzo Church posted by 7 people mattmight rzach greg_restall mx80 ajk LogicPhilMath d23
	Forcing in Proof Theory [My Copy] The Bulletin of Symbolic Logic, Vol. 10, No. 3. (2004), pp. 305-333. by Jeremy Avigad posted by 4 people yoriyuki rzach greg_restall LogicPhilMath
	Many-Valued Modal Logics [My Copy] Fundamenta Informaticae, Vol. XV (1991), pp. 235-254. by M. Melvin posted by 2 people greg_restall Benet
	Local Logics, Non-Monotonicity and Defeasible Argumentation [My Copy] Journal of Logic, Language and Information, Vol. 14, No. 1. (December 2005), pp. 1-12. by Bodanza Gustavo, Tohme Fernando posted by 1 person greg_restall
	Dynamics of Reason (Center for the Study of Language and Information - Lecture Notes) [My Copy] (01 March 2001) by Michael Friedman posted by 3 people greg_restall terumiyake jwolff
	A Parting of the Ways: Carnap, Cassirer, and Heidegger [My Copy] (30 November 2000) by Michael Friedman posted by 2 people greg_restall rgregory
	The Knower Paradox in the light of provability interpretations of modal logic [My Copy] Journal of Logic, Language and Information, Vol. 14, No. 1. (December 2004), pp. 13-48. by Egre Paul posted by 1 person greg_restall
	The normativity of the mental [My Copy] Philosophical Explorations, Vol. 8, No. 1. (March 2005), pp. 1-19. by Nick Zangwill posted by 1 person greg_restall
	Logical reasons [My Copy] Philosophical Explorations, Vol. 8, No. 1. (March 2005), pp. 21-38. by Pascal Engel posted by 1 person greg_restall
	THE POINT OF KANT'S AXIOMS OF INTUITION [My Copy] Pacific Philosophical Quarterly, Vol. 86, No. 1. (March 2005), pp. 135-159. by S. U. T. H. E. R. L. A. N. Daniel Sutherland posted by 5 people epistemon greg_restall dweinberger gregflanders sandeepdey
	On Knowledge, Strings, and Paradoxes [My Copy] Lecture Notes in Computer Science, Vol. 1489 (1998) by Manfred Kerber posted by 2 people recordmymind greg_restall
	On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set. [My Copy] by P. Welch posted by 2 people recordmymind greg_restall
	Context-Sensitive Truth-Theoretic Accounts of Semantic Competence [My Copy] Mind & Language, Vol. 20, No. 1. (February 2005), 68. by Steven Gross posted by 3 people greg_restall wyatt ppagin
	Relating Intuitionist Negation and Triviality [My Copy] Logic Journal of the IGPL, Vol. 12, No. 6. (November 2004), 581. by W. d. C. Wagner posted by 1 person greg_restall
	Natural Deduction and Weak Normalization for Full Linear Logic [My Copy] Logic Journal of the IGPL, Vol. 12, No. 6. (November 2004), 601. by Lilia R. Martins, Ana T. Martins posted by 1 person greg_restall
	Closure Operators and Lattice Extensions [My Copy] Order, Vol. 21, No. 1. (February 2004), 43. by J. Nation posted by 2 people greg_restall scis0000001
	PROBLEMS ARISING FROM AN INCONSISTENT VIEW OF GOD [My Copy] The Heythrop Journal, Vol. 46, No. 1. (January 2005), 23. by Conor Farrington posted by 1 person greg_restall
	Defeasibility And The Normative Grasp Of Context [My Copy] Erkenntnis, Vol. 61, No. 2-3., 435. by Mark Lance, Margaret Little posted by 2 people greg_restall scis0000001
	Deflationism and the Godel Phenomena: Reply to Tennant [My Copy] Mind, Vol. 114, No. 453., 75. by Jeffrey Ketland posted by 1 person greg_restall
	Against the Ramsey test [My Copy] Analysis, Vol. 64, No. 284., 294. by Adam Morton posted by 1 person greg_restall
	Dialetheism, logical consequence and hierarchy [My Copy] Analysis, Vol. 64, No. 284., 318. by Bruno Whittle posted by 1 person greg_restall
	Blogs and Wikis Are Valuable Software Tools for Communication Within Research Groups [My Copy] Artificial Organs, Vol. 29, No. 1. (January 2005), pp. 82-83. by Igor M. Sauer, Dominik Bialek, Ekaterina Efimova, Ruth Schwartlander, Gesine Pless, Peter Neuhaus posted by 103 people rex dpeker INK-SSCI-SCI@CiteuLike.org INK-SSCI-SCI mxro lafuente emwinter simdoc Anna_Gruszczynska xomic thegoose teachingaging rolawren nellapower feral Enro tunheim aalves fisherp fuwiki rian75 rabourn fncll cpikas korakot Mandre jornhj magnusenger A_Olympia PatrickD rickl jomeyertons tyfn zephoria tglaisyer suzzinha jamieanderson1968 rangelic Andrea lsantos leei macartisan carlblesius rfcahill aeoluspress qiangwei greg_restall jeanwarner alexr JonathanMartel mlzafron librarygirl breyten clancy indratmo vanderwal bridgewater olbrich fab rbruin nkorf csainsbury alisonruth xtizon sachac 4vgacias wcrosbie libah the_donn jhrcoe hannakaisa mzygmunt dalloliogm ach scuffster JimFolk peefeeyatko Philosophy_of_Information Blog_and_Wiki_Research mgh-lcs Autoregulation ubc-ucl Duke_PSRL digital_youth Semantic-Social-Networks hst-bmi Wikipedia utoronto-iml OpenArchive CoP_CMS ETEC533 Usable_Security SITCRC FeministRhetorics Web2 ilps splicing yeast Health_Sciences_Librarians CSU_School_of_Education Web2-0_Education chicoutimired Gaetan
	Quantification Theory in 8 of Principia Mathematica and the Empty Domain [My Copy] History and Philosophy of Logic, Vol. 26, No. 1., 47. by Gregory Landini posted by 4 people rzach greg_restall mx80 LogicPhilMath
	Mathematical modal logic: A view of its evolution [My Copy] Journal of Applied Logic, Vol. 1, No. 5. (October 2003), pp. 309-392. by R. Goldblatt posted by 5 people recordmymind rzach greg_restall dakvid GIGGLA
	The Limits of Conceptual Analysis [My Copy] Pacific Philosophical Quarterly, Vol. 85, No. 4., 425. by Laura C. H. R. O. E. T. E. R. Schroeter posted by 1 person greg_restall
	The Place of Semantic Theory [My Copy] Pacific Philosophical Quarterly, Vol. 85, No. 4., 454. by Bernhard E. I. S. S. Weiss posted by 1 person greg_restall
	Early Examples of Resource-Consciousness [My Copy] Studia Logica, Vol. 77, No. 1., 81. by Victor Pambuccian posted by 1 person greg_restall
	Optimizing the mutual intelligibility of linguistic agents in a shared world [My Copy] Artif. Intell., Vol. 154, No. 1-2. (2004), pp. 1-42. by Natalia Komarova, Partha Niyogi posted by 4 people baronka junwang4 Kevembuangga Impending_AI_breakthrough
	MapReduce: Simplified Data Processing on Large Clusters [My Copy] OSDI '04, pp. 137-150. by Jeffrey Dean, Sanjay Ghemawat posted by 57 people hamurster joshdsullivan erain large-scale-ml pprett electrum msalloum dmeister bsilverthorn maropu pkt seth_hg cymacs mfisk Nicolas_Torzec iDataOLD jorritschippers Jingbo mogwaing abellogin matteodellamico tatemura rmbrad gimmedonutnow kamotaku78 qiuyl egh pdlug muli jrw aufrank Kevembuangga sids epaulson fheintz roi mthomure spl gane5h fghorow mzygmunt neilc fmc ronnix coutinho ur-cls Impending_AI_breakthrough oktave-labs Speed votis angus aali adamsi sby mpotamias gionis myui
	Conceptual precursors to language. [My Copy] Nature, Vol. 430, No. 6998. (22 July 2004), pp. 453-456. by S. J. Hespos, E. S. Spelke posted by 5 people garyfeng daimogu Kevembuangga ReadingLab Impending_AI_breakthrough
	Connectionism and dynamic systems: are they really different? [My Copy] Developmental Science, Vol. 6, No. 4. (September 2003), pp. 378-391. by E. Thelen, E. Bates posted by 9 people garyfeng bayesian Kevembuangga chchatham neural_nets_chapter ReadingLab Impending_AI_breakthrough Cognitive_Development_Center_-_Neural_Nets_Chapter kapfelba