rzach's library 112 articles Export

Ordered by to_read.

	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 to proof_theory by rzach on 2007-10-09 00:56:07 as along with 1 person yoriyuki
	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 to church history_of_logic lambda_calculus by rzach on 2006-02-12 05:04:09 as along with 1 group 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 to history_of_logic konig by rzach on 2005-03-16 18:05:59 as along with 1 group 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 to history_of_logic by rzach on 2005-03-16 18:03:32 as along with 1 group LogicPhilMath
	TRUTH, REFLECTION, AND HIERARCHIES [My Copy] Synthese, Vol. 142, No. 3. (February 2005), pp. 289-315. by Michael Glanzberg posted to reflection tarski by rzach on 2005-03-12 04:52:06 as along with 1 group 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 to philosophy_of_logic by rzach on 2008-09-06 01:19:36 as along with 2 people ceci yoriyuki
	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 to epsilon proof_theory sequent_calculus by rzach on 2007-10-08 20:01:15 as
	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 to epsilon proof_theory sequent_calculus type_theory by rzach on 2007-10-08 19:39:11 as
	Never say never [My Copy] Topoi, Vol. V13, No. 2. (1994), pp. 135-145. by Timothy Williamson posted to no-tag by rzach on 2007-02-23 17:00:19 as along with 1 group 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 to foundations philosophy_of_mathematics set_theory by rzach on 2005-03-16 18:05:04 as along with 2 people and 3 groups A_Olympia Ed Philosophy_of_Information Blog_and_Wiki_Research 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 to foundations history_of_logic set_theory by rzach on 2005-03-14 17:38:18 as along with 6 people and 3 groups A_Olympia recordmymind aeagle ds Scis0000002 ansobol Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	On the relation between free description theories and standard quantification theory. [My Copy] Notre Dame Journal of Formal Logic, Vol. 17 (1976), pp. 149-152. by Richard E. Grandy posted to free_logic by rzach on 2008-01-28 22:03:06 as
	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 to modal_logic by rzach on 2007-11-26 16:47:09 as along with 4 people recordmymind greg_restall dakvid GIGGLA
	Mathematical Method and Proof [My Copy] Synthese, Vol. 153, No. 1. (November 2006), pp. 105-159. by Avigad, Jeremy posted to philosophy_of_mathematics by rzach on 2006-12-05 11:56:03 as along with 2 people and 1 group antemeridiem qwermish LogicPhilMath
	Epsilon Calculi [My Copy] Logic Journal of the IGPL, Vol. 14, No. 4. (August 2006), pp. 535-590. by Slater, Barry Hartley posted to epsilon by rzach on 2006-12-05 11:54:06 as along with 1 group LogicPhilMath
	The Logic of Curry and Church [My Copy] (2006) by Jonathan P. Seldin posted to church curry history_of_logic lambda_calculus by rzach on 2006-02-12 05:12:29 as along with 1 person and 1 group greg_restall LogicPhilMath
	Logic and Meaning: The Philosophical Significance of the Sequent Calculus [My Copy] by Michael Kremer posted to gentzen philosophy_of_logic proof_theory sequent_calculus by rzach on 2005-11-21 13:52:43 as along with 2 people and 1 group MichaelDe greg_restall LogicPhilMath
	Supervaluationism and Its Logics [My Copy] (2005) by Achille Varzi posted to logic philosophy_of_logic supervaluationism vagueness by rzach on 2005-10-27 19:28:13 as along with 1 person and 1 group 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 to fuzzy_logic lukasiewicz_logic by rzach on 2005-08-04 23:04:25 as along with 1 person and 1 group greg_restall LogicPhilMath
	Michael Potter, Reason's Nearest Kin [My Copy] (2002) by S. Shieh posted to no-tag by rzach on 2005-07-14 15:48:09 as along with 1 group 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 to epsilon proof_theory by rzach on 2005-05-07 03:07:25 as along with 1 group 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 to four_color_theorem philosophy_of_mathematics by rzach on 2005-04-22 02:40:24 as along with 1 group LogicPhilMath
	Why Numbers Are Sets [My Copy] Synthese, Vol. 133, No. 3. (December 2002), pp. 343-361. by E. Steinhart posted to benacerraf philosophy_of_mathematics by rzach on 2005-04-03 07:11:27 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Categories in Context: Historical, Foundational, and Philosophical [My Copy] Philosophia Mathematica (III), Vol. 13, No. 1. (2005), pp. 1-43. by Elaine Landry, Jean-Pierre Marquis posted to category_theory foundations philosophy_of_mathematics by rzach on 2005-03-16 18:11:08 as along with 1 person and 1 group greg_restall 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 to foundations geometry history history_of_logic logic mathematics tarski by rzach on 2005-03-16 18:09:28 as along with 2 people and 3 groups shankar A_Olympia Philosophy_of_Information Blog_and_Wiki_Research 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 to history_of_logic by rzach on 2005-03-16 18:06:25 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research 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 to progressions proof_theory by rzach on 2005-03-16 07:10:26 as along with 1 group LogicPhilMath
	On the Philosophical Development of Kurt Gödel [My Copy] The Bulletin of Symbolic Logic, Vol. 9, No. 4. (2003), pp. 425-476. by Mark V. Van Atten, Juliette Kennedy posted to godel philosophy_of_mathematics by rzach on 2005-03-16 03:51:52 as along with 1 group LogicPhilMath
	Hypersequent Calculi for Gödel Logics - a Survey [My Copy] Journal of Logic and Computation, Vol. 13, No. 6. (December 2003), pp. 835-861. by Baaz Matthias, Ciabattoni Agata, G. Fermuller posted to godel hypersequents logic proof_theory sequent_calculus by rzach on 2005-03-15 03:37:34 as along with 2 people and 1 group greg_restall htowsner LogicPhilMath
	TRUTH AND DISQUOTATION [My Copy] Synthese, Vol. 142, No. 3. (February 2005), pp. 317-352. by Richard Heck posted to disquotation tarski truth by rzach on 2005-03-12 19:22:20 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research 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 to computer logic paradox by rzach on 2005-03-12 03:53:01 as along with 1 person and 1 group yarden LogicPhilMath
	Notes on Teaching Logic [My Copy] Discourse, Vol. 4 (2004), pp. 137-158. by Peter Milne posted to logic_teaching by rzach on 2008-11-21 03:17:39 as
	Gender differences in grant peer review: A meta-analysis [My Copy] (23 Feb 2007) by Lutz Bornmann, Ruediger Mutz, Hans-Dieter Daniel posted to peer_review by rzach on 2008-04-14 05:40:31 as
	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 to no-tag by rzach on 2007-11-11 08:41:05 as
	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 to epsilon proof_theory by rzach on 2007-10-10 00:40:54 as
	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 to epsilon natural_deduction proof_theory by rzach on 2007-10-08 20:02:28 as along with 1 group ConcertRG
	After Godel [My Copy] Logic Journal of the IGPL, Vol. 14, No. 5. (October 2006), pp. 745-754. by Putnam, Hilary posted to no-tag by rzach on 2006-12-19 14:24:04 as along with 1 group 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 to no-tag by rzach on 2006-12-19 14:23:40 as along with 1 group LogicPhilMath
	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 to shoemaker by rzach on 2005-11-28 06:28:20 as along with 1 person and 1 group 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 to shoemaker by rzach on 2005-11-28 06:27:53 as along with 1 person and 1 group 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 to history_of_logic by rzach on 2005-09-05 02:14:55 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	A Cut-Free Gentzen Formulation of the Modal Logic S5 [My Copy] Logic Journal of the IGPL, Vol. 8, No. 5. (2000), pp. 629-643. by Torben Braüner posted to proof_theory by rzach on 2005-08-07 22:34:11 as along with 1 person and 1 group greg_restall 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 to no-tag by rzach on 2005-08-07 22:32:50 as along with 1 group LogicPhilMath
	Uniform Proof Complexity [My Copy] Journal of Logic and Computation, Vol. 15, No. 4. (August 2005), pp. 433-446. by Arnold Beckmann posted to proof_theory by rzach on 2005-08-07 22:32:08 as along with 1 person and 1 group johannsen LogicPhilMath
	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 to logic philosophy_of_mathematics by rzach on 2005-08-07 22:31:22 as along with 1 person and 1 group greg_restall 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 to fuzzy_logic godel_logic by rzach on 2005-07-01 09:32:39 as along with 1 group LogicPhilMath
	Deflating the Conservativeness Argument [My Copy] The Journal of Philosophy, Vol. 96, No. 10. (1999), pp. 533-540. by Hartry Field posted to field philosophy_of_mathematics by rzach on 2005-06-27 17:01:17 as along with 1 person and 1 group cirodeflorio 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 to church history_of_logic kleene by rzach on 2005-06-16 16:35:35 as along with 1 person and 3 groups A_Olympia 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 to foundations proof_theory by rzach on 2005-06-09 17:59:20 as along with 1 person and 1 group 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 to foundations proof_theory by rzach on 2005-06-09 17:57:06 as along with 1 person and 1 group htowsner LogicPhilMath

Note: You may cite this page as: http://www.citeulike.org/user/rzach/order/to_read

Result page: 1 2 3 Next

proof_theory	28
philosophy_of_mathematics	24
history_of_logic	22
epsilon	16
logic	14
sequent_calculus	10
foundations	9
four_color_theorem	9
godel	9
hilbert	9
arithmetic	4
history	4
russell	4
tarski	4
vagueness	4
church	3
frege	3
fuzzy_logic	3
godel_logic	3
hilberts_program	3
philosophy_of_logic	3
behmann	2
bernays	2
category_theory	2
field	2
finitism	2
hypersequents	2
intuitionistic_logic	2
kreisel	2
lambda_calculus	2
lisp	2
lukasiewicz_logic	2
many-valued_logic	2
mathematics	2
natural_deduction	2
principia_mathematica	2
programming_languages	2
resolution	2
set_theory	2
shoemaker	2
tableaux	2
truth	2
type_theory	2
analytic_philosophy	1
benacerraf	1
bibtex-import	1
bolzano	1
computer	1
computer_science	1
curry	1
disquotation	1
explanation	1
forcing	1
free_logic	1
generalization_of_proofs	1
gentzen	1
geometry	1
herbrand	1
hsitor_of_logic	1
indexicals	1
kant	1
kleene	1
konig	1
logicism	1
logic_teaching	1
lucas	1
mechanism	1
modal_logic	1
nominalism	1
normalization	1
paradox	1
peer_review	1
post	1
progressions	1
ramsey	1
reflection	1
reverse_mathematics	1
sorites	1
supervaluationism	1
temporal_logic	1
types	1

rzach's library 112 articles Export

rzach's tags