rzach's Top Recommendations

These recommendations were last updated about 2 hours ago.

	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
	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
	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
	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
	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
	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
	A Theory of Adjoint Functors--with some Thoughts about their Philosophical Significance [My Copy] (15 Nov 2005) by David Ellerman posted by 7 people greg_restall Kevembuangga scis0000001 aleks noam_zeilberger Impending_AI_breakthrough Compilers
	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
	Coherence of Proof-Net Categories [My Copy] (9 Sep 2005) by K. Dosen, Z. Petric posted by 1 person greg_restall
	Negation and Involutive Adjunction [My Copy] (9 Sep 2005) by K. Dosen, Z. Petric posted by 3 people leemond31 greg_restall noam_zeilberger
	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
	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
	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
	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
	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
	Star and Perp: Two Treatments of Negation [My Copy] by J. Michael Dunn posted by 3 people MichaelDe greg_restall noam_zeilberger
	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
	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
	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
	An Introduction to Dependent Type Theory [My Copy] Lecture Notes in Computer Science, pp. 1-41. by Gilles Barthe, Thierry Coquand posted by 6 people Scis0000002 dherman greg_restall tautologico noam_zeilberger NU-PRL
	Hilbert's Programs: 1917--1922 [My Copy] The Bulletin of Symbolic Logic, Vol. 5, No. 1. (199), pp. 1-44. by Wilfried Sieg posted by 4 people A_Olympia recordmymind Philosophy_of_Information Blog_and_Wiki_Research
	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
	Alonzo Church's Contributions to Philosophy and Intensional Logic [My Copy] BSL: The Bulletin of Symbolic Logic, Vol. 4 (1998) by Anderson posted by 1 person recordmymind
	The Discovery of My Completeness Proofs [My Copy] Bulletin of Symbolic Logic, Vol. 2, No. 2. (1996), pp. 127-158. by Leon Henkin posted by 1 person recordmymind
	My Route to Arithmetization [My Copy] by Solomon Feferman posted by 1 person recordmymind
	An Historical Account Of Set-Theoretic Antinomies Caused By The Axiom Of Abstraction [My Copy] by Justin M. Er posted by 2 people recordmymind Scis0000002
	Williamson on Vagueness and Context-Dependence [My Copy] Philosophy and Phenomenological Research, Vol. 68, No. 3., 635. by E. Mills posted by 3 people recordmymind Weatherson davsans
	Collapsing Recursive Oracles for Relativized Polynomial Hierarchies [My Copy] Fundamentals of Computation Theory (2005), pp. 149-160. by Tomoyuki Yamakami posted by 1 person yoriyuki
	Atomic Cut Elimination for Classical Logic [My Copy] Computer Science Logic (2003), pp. 86-97. by Kai Brünnler posted by 1 person yoriyuki
	Open problems in rewriting [My Copy] Rewriting Techniques and Applications (1991), pp. 445-456. by Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Klop posted by 1 person yoriyuki
	Limiting Recursion [My Copy] The Journal of Symbolic Logic, Vol. 30, No. 1. (1965), pp. 28-48. by Mark E. Gold posted by 2 people yoriyuki hubris