rzach's sequent_calculus [10 articles] Export

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

Hide details

	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
	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
	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
	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
	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
	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

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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 sequent_calculus [10 articles] Export

rzach's tags