rzach's library 112 articles Export

	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
	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
	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 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
	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
	Normal derivability in classical logic [My Copy] The Syntax and Semantics of Infinitary Languages (1968), pp. 204-236. by W. Tait posted to proof_theory sequent_calculus by rzach on 2007-10-09 07:14:11 as
	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
	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
	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
	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 to epsilon by rzach on 2007-10-08 19:43:20 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
	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 to epsilon proof_theory tableaux by rzach on 2007-10-08 19:35:15 as
	Hilbert's $ε$-operator in intuitionistic type theories [My Copy] Mathematical Logic Quarterly, Vol. 39, No. 1. (1993), pp. 323-337. by John L. Bell posted to epsilon intuitionistic_logic by rzach on 2007-10-08 19:28:38 as
	Intuitionistic epsilon- and tau-calculi [My Copy] Mathematical Logic Quarterly, Vol. 41, No. 4. (1995), pp. 523-546. by David Devidi posted to epsilon intuitionistic_logic by rzach on 2007-10-08 19:24:11 as
	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 to epsilon by rzach on 2007-10-08 19:23:04 as
	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 to epsilon proof_theory sequent_calculus by rzach on 2007-10-08 19:22:20 as
	An addition to “Cut Elimination in $ε$-calculi” [My Copy] Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, Vol. 35, No. 6. (1989), pp. 483-484. by Mitsuru Yasuhara posted to epsilon proof_theory sequent_calculus by rzach on 2007-10-08 19:21:51 as
	Cut elimination in a Gentzen-style $ε$-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 to epsilon proof_theory sequent_calculus by rzach on 2007-10-08 19:21:19 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
	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 to proof_theory by rzach on 2006-12-25 17:56:23 as along with 1 person and 1 group yoriyuki LogicPhilMath
	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
	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
	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
	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 to lisp programming_languages by rzach on 2006-02-08 23:58:45 as along with 6 people and 2 groups robertjohnsimmons BDFish egh thsutton lop mxp ConcertRG LogicPhilMath
	History of Lisp [My Copy] (1979) by John Mccarthy posted to lisp programming_languages by rzach on 2006-02-08 23:32: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
	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
	Proofstyle and Understanding in Mathematics I: Visualization, Unification and Axiom Choice [My Copy] In Visualization, Explanation and Reasoning Styles in Mathematics (2005) by Jamie Tappenden edited by Paolo Mancosu, Klaus F. Jørgensen, Stig A. Pedersen posted to explanation philosophy_of_mathematics by rzach on 2005-10-23 04:49:05 as along with 2 people and 2 groups greg_restall Kevembuangga LogicPhilMath Impending_AI_breakthrough
	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 to analytic_philosophy bolzano frege history_of_logic kant logicism by rzach on 2005-09-20 05:07:50 as along with 1 person and 1 group greg_restall LogicPhilMath
	On mathematical instrumentalism [My Copy] Journal of Symbolic Logic, Vol. 70, No. 3. (2005), pp. 778-794. by Patrick Caldon, Aleksandar Ignjatović posted to hilberts_program proof_theory reverse_mathematics by rzach on 2005-09-15 16:42:26 as along with 1 group 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
	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
	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
	Conservativeness and Incompleteness [My Copy] The Journal of Philosophy, Vol. 80, No. 9. (1983), pp. 521-531. by Stewart Shapiro posted to field godel nominalism philosophy_of_mathematics by rzach on 2005-06-27 16:57:12 as along with 2 people and 1 group cirodeflorio madzic LogicPhilMath
	Vagueness and Mathematical Precision [My Copy] Mind, Vol. 111, No. 442. (April 2002), pp. 225-248. by R. T. Cook posted to fuzzy_logic vagueness by rzach on 2005-06-22 12:26:37 as along with 1 group 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

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

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