Tag proof_theory [49 articles] Export

Recent papers classified by the tag proof_theory.

	Weakest Preconditions for High-Level Programs [My Copy] Graph Transformations (2006), pp. 445-460. by Annegret Habel, Karl-Heinz Pennemann, Arend Rensink posted to weakest_preconditions proof_theory precondition by ChrisPoskitt on 2009-10-02 14:26:29 as
	The complexity of the Pigeonhole Principle [My Copy] Combinatorica, Vol. 14, No. 4. (1 December 1994), pp. 417-433. by M. Ajtai posted to proof_theory springer weak_systems by hubris on 2009-06-22 09:53:02 as along with 2 people yoriyuki msakai
	Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture [My Copy] Transactions of the American Mathematical Society, Vol. 95, No. 2. (1960), pp. 210-225. by J. B. Kruskal posted to jstor order_theory proof_theory by hubris on 2009-05-25 07:17:54 as
	The strength of extensionality I — weak weak set theories with infinity [My Copy] Annals of Pure and Applied Logic (11 November 2008) by K. Sato posted to proof_theory by hubris on 2009-01-05 02:27:28 as along with 1 person yoriyuki
	Don't eliminate cut [My Copy] Journal of Philosophical Logic, Vol. 13, No. 4. (1 November 1984), pp. 373-378. by George Boolos posted to proof_theory by hubris on 2008-11-18 12:02:56 as along with 2 people msakai PunkRock
	Gaggles, Gentzen and Galois: how to display your favourite substructural logic [My Copy] Log. J. IGPL, Vol. 6, No. 5. (1998), pp. 669-694. by Rajeev Goré posted to _copy display_logic gaggle galois_connection proof_theory substructural_logics by adrian_pigors on 2008-07-02 10:50:35 as
	Displaying and deciding substructural logics. I. Logics with contraposition [My Copy] J. Philos. Logic, Vol. 27, No. 2. (1998), pp. 179-216. by Greg Restall posted to display_logic frame proof_theory substructural_logics by adrian_pigors on 2008-07-02 10:21:03 as
	Display logic and gaggle theory [My Copy] Rep. Math. Logic, No. 29. (1995), pp. 133-146 (1996). by Greg Restall posted to _copy display_logic frame gaggle proof_theory substructural_logics by adrian_pigors on 2008-07-02 09:50:29 as
	Interpretability of various extensions of arithmetic [My Copy] Mathematical Notes, Vol. 40, No. 5. (1 November 1986), pp. 821-827. by S. V. Goryachev posted to arithmetic consistency _copy _dipl interpretability proof_theory reflection by adrian_pigors on 2008-04-30 10:00:19 as
	Ordinal arithmetic in $ IΔ\sb 0$ [My Copy] In Arithmetic, proof theory, and computational complexity (Prague, 1991), Vol. 23 (1993), pp. 320-363. by Richard Sommer posted to arithmetic _copy _dipl ordinal proof_theory by adrian_pigors on 2008-04-30 09:52:07 as
	On a number theoretic choice schema and its relation to induction [My Copy] In Intuitionism and Proof Theory (Proc. Conf., Buffalo, N.Y., 1968) (1970), pp. 459-473. by Charles Parsons posted to arithmetic _copy _dipl proof_theory by adrian_pigors on 2008-04-30 09:48:32 as
	On $n$-quantifier induction [My Copy] J. Symbolic Logic, Vol. 37 (1972), pp. 466-482. by Charles Parsons posted to arithmetic _copy _dipl proof_theory by adrian_pigors on 2008-04-30 09:42:59 as
	Fragments of arithmetic [My Copy] Ann. Pure Appl. Logic, Vol. 28, No. 1. (1985), pp. 33-71. by Wilfried Sieg posted to arithmetic _copy _dipl pra proof_theory by adrian_pigors on 2008-04-30 09:37:26 as
	Interpretability in reflexive theories---a survey [My Copy] Theoria, Vol. 63, No. 3. (1997), pp. 182-209. by Per Lindström posted to consistency _copy _dipl interpretability logic proof_theory provability self-reference by adrian_pigors on 2008-04-29 10:48:27 as
	Reflection using the derivability conditions [My Copy] In Logic and algebra (Pontignano, 1994), Vol. 180 (1996), pp. 603-616. by Sean Matthews, Alex K. Simpson posted to arithmetic _copy proof_theory reflection by adrian_pigors on 2008-04-29 10:39:08 as
	Reflection principles and their use for establishing the complexity of axiomatic systems [My Copy] Z. Math. Logik Grundlagen Math., Vol. 14 (1968), pp. 97-142. by G. Kreisel, A. Lévy posted to consistency _copy _dipl proof_theory reflection by adrian_pigors on 2008-04-29 10:32:17 as
	PRA provability of Schmerl's fine structure theorem [My Copy] Rend. Sem. Mat. Univ. Politec. Torino, Vol. 42, No. 2. (1984), pp. 87-106 (1985). by Franco Parlamento posted to _copy _dipl pra proof_theory provability reflection by adrian_pigors on 2008-04-29 10:21:57 as
	A fine structure generated by reflection formulas over primitive recursive arithmetic [My Copy] In Logic Colloquium '78 (Mons, 1978), Vol. 97 (1979), pp. 335-350. by Ulf R. Schmerl posted to _copy _dipl pra proof_theory provability reflection by adrian_pigors on 2008-04-29 10:15:13 as
	On the no-counterexample interpretation [My Copy] J. Symbolic Logic, Vol. 64, No. 4. (1999), pp. 1491-1511. by Ulrich Kohlenbach posted to _copy proof_theory by adrian_pigors on 2008-02-22 12:21:59 as
	Logics for termination and correctness of functional programs. II. Logics of strength PRA [My Copy] In Proof theory (Leeds, 1990) (1992), pp. 195-225. by Solomon Feferman posted to _copy pra proof_theory by adrian_pigors on 2008-02-22 12:01:24 as
	Proof-theoretic methods in nonclassical logic---an introduction [My Copy] In Theories of types and proofs (Tokyo, 1997), Vol. 2 (1998), pp. 207-254. by Hiroakira Ono posted to _copy cut_elimination logic proof_theory substructural_logics by adrian_pigors on 2007-12-13 09:54:38 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
	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
	An Introduction to Substructural Logics [My Copy] (01 February 2000) by Greg Restall posted to _bib frame kripke logic proof_theory semantics substructural_logics by adrian_pigors on 2007-09-20 12:49:51 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
	CHR: A Constructive Relevant Natural-deduction Logic [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of Computing: The Australasian Theory Symposium (CATS) 2004, Vol. 91 (16 February 2004), pp. 158-170. by Neil Leslie, Edwin D. Mares posted to constructive_logic natural_deduction proof_theory relevant_logic by CLLC on 2006-03-27 11:59:34 as
	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 to the group LogicPhilMath on 2005-11-21 13:52:43 as along with 2 people MichaelDe greg_restall
	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
	Introduction to Cirquent Calculus and Abstract Resource Semantics [My Copy] (27 Jun 2005) by Giorgi Japaridze posted to calculus cirquent computability logic proof_theory by jonjonc on 2005-07-17 03:40:00 as along with 1 person Lewis
	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 to the group LogicPhilMath on 2005-06-09 17:57:06 as along with 1 person htowsner
	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 to the group LogicPhilMath on 2005-03-16 17:57:22 as
	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
	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 to the group LogicPhilMath on 2005-03-14 15:37:52 as along with 1 person and 2 groups A_Olympia Philosophy_of_Information Blog_and_Wiki_Research

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

_copy	15
epsilon	12
sequent_calculus	12
logic	10
_dipl	9
arithmetic	6
foundations	6
reflection	5
substructural_logics	5
history_of_logic	4
hypersequents	4
pra	4
consistency	3
display_logic	3
frame	3
provability	3
forcing	2
gaggle	2
generalization_of_proofs	2
gentzen	2
godel	2
godel_logic	2
hilbert	2
history	2
interpretability	2
kreisel	2
mathematics	2
natural_deduction	2
normalization	2
philosophy_of_logic	2
philosophy_of_mathematics	2
progressions	2
resolution	2
temporal_logic	2
_bib	1
calculus	1
cirquent	1
computability	1
constructive_logic	1
cut_elimination	1
galois_connection	1
jstor	1
kripke	1
order_theory	1
ordinal	1
precondition	1
relevant_logic	1
self-reference	1
semantics	1
springer	1
tableaux	1
type_theory	1
weak_systems	1
weakest_preconditions	1

Tag proof_theory [49 articles] Export

Related Tags