rzach's proof_theory [28 articles] Export

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

	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
	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
	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
	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
	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
	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 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
	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
	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
	A proof-theoretical investigation of global intuitionistic (fuzzy) logic [My Copy] Archive for Mathematical Logic, Vol. 44, No. 4. (May 2005), pp. 435-457. by Agata Ciabattoni posted to godel_logic hypersequents logic proof_theory by rzach on 2005-05-07 03:08:51 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
	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 to history_of_logic proof_theory sequent_calculus by rzach on 2005-03-16 18:02:58 as along with 2 people and 3 groups A_Olympia greg_restall Philosophy_of_Information Blog_and_Wiki_Research LogicPhilMath
	Generalizing theorems in real closed fields [My Copy] Annals of Pure and Applied Logic, Vol. 75, No. 1-2. (12 September 1995), pp. 3-23. by Matthias Baaz, Richard Zach posted to generalization_of_proofs kreisel proof_theory by rzach on 2005-03-16 17:59:12 as along with 1 group LogicPhilMath
	Completeness of a first-order temporal logic with time-gaps [My Copy] Theoretical Computer Science, Vol. 160, No. 1-2. (10 June 1996), pp. 241-270. by Matthias Baaz, Alexander Leitsch, Richard Zach posted to logic proof_theory resolution temporal_logic by rzach on 2005-03-16 17:57:22 as along with 1 group 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
	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 to normalization proof_theory by rzach on 2005-03-16 07:07:48 as along with 2 people and 1 group greg_restall yoriyuki LogicPhilMath
	Proof Theory of Finite-Valued Logics [My Copy] (1993) by Richard Zach posted to logic many-valued_logic natural_deduction proof_theory resolution sequent_calculus tableaux by rzach on 2005-03-16 03:55:38 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
	Forcing in Proof Theory [My Copy] The Bulletin of Symbolic Logic, Vol. 10, No. 3. (2004), pp. 305-333. by Jeremy Avigad posted to forcing proof_theory by rzach on 2005-03-14 17:36:27 as along with 2 people and 1 group yoriyuki greg_restall 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

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

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 proof_theory [28 articles] Export

rzach's tags