rzach's epsilon [16 articles] Export

Recent papers added to rzach's library classified by the tag epsilon. You can also see everyone's epsilon.

	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
	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
	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
	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
	Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs [My Copy] History and Philosophy of Logic, Vol. 25 (2004), pp. 79-94. by Richard Zach posted to epsilon foundations hilbert history history_of_logic mathematics philosophy_of_mathematics proof_theory by rzach on 2005-03-14 15:37:52 as along with 1 person and 3 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Hilbert's Finitism: Historical, Philosophical and Metamathematical Perspectives [My Copy] (2001) by Richard Zach posted to bernays epsilon finitism hilbert history_of_logic logic philosophy_of_mathematics by rzach on 2005-03-14 02:59:53 as along with 1 group LogicPhilMath

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

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 epsilon [16 articles] Export

rzach's tags