Tag pnc [41 articles] Export

Recent papers classified by the tag pnc.

	Inexhaustibility: A Non-Exhaustive Treatment [My Copy] Vol. 16 (08 September 2004) by Torkel Franzen posted to logic mathematics pnc prooftheory by greg_restall on 2006-08-13 11:36:45 as
	The first axiomatization of relevant logic [My Copy] Journal of Philosophical Logic, Vol. 21, No. 4. (November 1992), pp. 339-356. by Kosta Dosen posted to history logic pnc relevant by greg_restall on 2006-08-01 04:31:58 as along with 2 people scis0000001 Scis0000002
	Substructural Logics: A Primer [My Copy] (31 May 2002) by Francesco Paoli posted to logic pnc substructural by greg_restall on 2006-07-25 14:05:01 as
	A Natural Deduction System for Keisler's Quantification [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of the 11th Workshop on Logic, Language, Information and Computation (WoLLIC 2004), Vol. 123 (1 March 2005), pp. 229-240. by Christian J. Renteria, Edward H. Haeusler posted to keisler naturaldeduction normalisation pnc quantifier uncountable by greg_restall on 2006-06-06 13:04:34 as
	Modal Logic As Dialogical Logic [My Copy] Synthese, Vol. 127, No. 1 - 2. (April 2001), pp. 57-93. by Patrick Blackburn posted to dialogue logic modal pnc by greg_restall on 2006-05-25 01:39:02 as along with 1 person Scis0000002
	A semantical proof of the strong normalization theorem for full propositional classical natural deduction [My Copy] Archive for Mathematical Logic, Vol. 45, No. 3. (March 2006), pp. 357-364. by Karim Nour, Khelifa Saber posted to classical deduction natural normalisation pnc by greg_restall on 2006-05-25 01:37:20 as
	Continuations, proofs and tests [My Copy] (9 May 2006) by Stefano Guerrini, Andrea Masini posted to continuation pnc semantics sequent by greg_restall on 2006-05-17 01:09:38 as along with 1 person jrw
	Restricted exchange, braidings and the monoidal centre [My Copy] (1 May 2006) by Jonathan A. Cohen, Craig A. Pastro posted to braid category logic noncommutative pnc prooftheory by greg_restall on 2006-05-02 06:31:20 as
	Validity Concepts in Proof-theoretic Semantics [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 525-571. by Peter Schroeder-Heister posted to pnc prooftheory semantics validity by greg_restall on 2006-04-26 21:58:29 as
	Meaning Approached Via Proofs [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 507-524. by Dag Prawitz posted to meaning naturaldeduction pnc prawitz proof prooftheory by greg_restall on 2006-04-26 21:57:23 as
	The Justification of the Logical Laws Revisited [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 573-588. by Patrizio Contu posted to justification pnc prooftheory by greg_restall on 2006-04-26 21:57:10 as
	On the Proof-theoretic Foundation of General Definition Theory [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 589-602. by Lars Hallnas posted to definition pnc prooftheory semantics by greg_restall on 2006-04-26 21:56:54 as
	Proof-theoretic Semantics for Classical Mathematics [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 603-622. by William Tait posted to classical mathematics pnc semantics by greg_restall on 2006-04-26 21:56:39 as
	Semantic Values for Natural Deduction Derivations [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 623-638. by Goran Sundholm posted to naturaldeduction pnc semantics by greg_restall on 2006-04-26 21:56:25 as
	Models of Deduction [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 639-657. by Kosta Dosen posted to category pnc prooftheory by greg_restall on 2006-04-26 21:56:14 as
	Towards a Semantics Based on the Notion of Justification [My Copy] Synthese, Vol. 148, No. 3. (February 2006), pp. 675-699. by Gabriele Usberti posted to justification pnc prooftheory semantics by greg_restall on 2006-04-26 21:55:38 as
	Structure of proofs and the complexity of cut elimination [My Copy] Theoretical Computer Science, Vol. 353, No. 1-3. (14 March 2006), pp. 63-70. by Wenhui Zhang posted to calculus cut_elimination logic pnc proof sequent structure by greg_restall on 2006-02-24 12:28:40 as
	Equality of Proofs for Linear Equality [My Copy] (30 Jan 2006) by K. Dosen, Z. Petric posted to equality identity linear logic pnc proof by greg_restall on 2006-02-06 22:33:30 as along with 1 person vcvpaiva
	Logic and Meaning: The Philosophical Significance of the Sequent Calculus [My Copy] by Michael Kremer posted to calculus logic pnc prooftheory sequent truth by greg_restall on 2005-11-21 13:57:09 as along with 2 people and 1 group MichaelDe rzach LogicPhilMath
	Why an Expressivist Should Not Commit to Commitment-Semantics [My Copy] Proceedings of the Aristotelian Society, Vol. 105, No. 3. (May 2005), pp. 403-409. by Jorn Sonderholm posted to blackburn consequence expressivism logic pnc quasi-realism by greg_restall on 2005-10-10 10:21:58 as
	Coherence of Proof-Net Categories [My Copy] (9 Sep 2005) by K. Dosen, Z. Petric posted to category coherence cutelimination logic pnc proofnet studyleave2005 by greg_restall on 2005-09-12 09:38:51 as
	Negation and Involutive Adjunction [My Copy] (9 Sep 2005) by K. Dosen, Z. Petric posted to coherence logic negation pnc prooftheory studyleave2005 by greg_restall on 2005-09-12 09:38:06 as along with 2 people leemond31 noam_zeilberger
	Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory) [My Copy] by Per Martin-Lof posted to pnc prooftheory studyleave2005 typetheory by greg_restall on 2005-09-09 16:46:36 as along with 2 people pedagand msakai
	Proof-theoretical Coherence (Studies in Logic S.) [My Copy] (31 December 2004) by Kosta Dosen, Zoran Petric posted to category coherence cutelimination identity pnc prooftheory by greg_restall on 2005-09-09 12:01:47 as along with 1 person jonjonc
	The Constructive Hilbert Program and the Limits of Martin-Lof Type Theory [My Copy] Synthese, Vol. 147, No. 1. (October 2005), pp. 81-120. by Michael Rathjen posted to logic martin-lf pnc prooftheory typetheory by greg_restall on 2005-09-09 11:59:01 as
	Modularity of proof-nets [My Copy] Archive for Mathematical Logic, Vol. 44, No. 2. (February 2005), pp. 167-193. by Roberto Maieli, Quintijn Puite posted to logic modularity pnc proofnet prooftheory rewriting slice switching by greg_restall on 2005-09-06 15:44:36 as
	An approach to infinitary temporal proof theory [My Copy] Archive for Mathematical Logic, Vol. 43, No. 8. (November 2004), pp. 965-990. by Baratella, Stefano, Masini, Andrea posted to infinitary logic pnc prooftheory sequent temporal by greg_restall on 2005-09-06 15:36:26 as
	Softness of MALL proof-structures and a correctness criterion with Mix [My Copy] Archive for Mathematical Logic, Vol. 43, No. 6. (2004), pp. 751-794. by Masahiro Hamano posted to correctness gentzen linear logic mix pnc proofnet sequentialisation by greg_restall on 2005-09-06 15:35:01 as
	Proof-theoretical analysis of order relations [My Copy] Archive for Mathematical Logic, Vol. 43, No. 3. (April 2004), pp. 297-309. by Sara Negri, Jan Plato, Thierry Coquand posted to cut_elimination order pnc prooftheory sequent theory by greg_restall on 2005-09-06 15:33:02 as
	Contraction-free sequent calculi for geometric theories with an application to Barr's theorem [My Copy] Archive for Mathematical Logic, Vol. 42, No. 4. (May 2003), pp. 389-401. by Sara Negri posted to cut_elimination pnc prooftheory sequent by greg_restall on 2005-09-06 15:25:28 as
	Two measures for proving Gentzen's Hauptsatz without mix [My Copy] Archive for Mathematical Logic, Vol. 42, No. 4. (May 2003), pp. 371-387. by Mirjana Borisavljeviä posted to cut_elimination mix pnc prooftheory sequent by greg_restall on 2005-09-06 15:24:18 as
	Associativity as Commutativity [My Copy] (5 Jul 2005) by K. Dosen, Z. Petric posted to associativity category coherence cut pnc prootheory substitution by greg_restall on 2005-08-16 11:55:22 as along with 2 people jrw jonjonc
	Introduction to Cirquent Calculus and Abstract Resource Semantics [My Copy] (27 Jun 2005) by Giorgi Japaridze posted to calculus computability logic pnc proof sequent structure by greg_restall on 2005-06-29 02:41:28 as along with 1 person Anyzev
	The Haskell Road To Logic, Maths And Programming [My Copy] (31 May 2004) by Kees Doets, Jan E. Van posted to haskell logic pnc semantics tableaux by greg_restall on 2005-06-16 21:29:34 as along with 8 people and 1 group dsquared thsutton grzegorz madhadron rgb flashfonic R13 jasmithoffice pileWorks
	Quantification, Substitution, and Conceptual Content [My Copy] Noûs, Vol. 30, No. 4. (1996), pp. 481-507. by Mark Lance posted to concepts inference meaning pnc quantification substitutional by greg_restall on 2005-04-26 14:29:41 as
	A Problem of Normal Form in Natural Deduction [My Copy] MLQ, Vol. 46, No. 1. (4 February 2000), pp. 121-124. by Jan v. von Plato posted to deduction natural normalisation pnc prooftheory by greg_restall on 2005-04-19 12:11:52 as
	A Brief History of Natural Deduction [My Copy] History and Philosophy of Logic, Vol. 20, No. 1. (1 March 1999), pp. 1-31. by Francis J. Pelletier posted to deduction fitch gentzen history jaskowski lc2005 lemmon logic natural pnc prawitz quine by greg_restall on 2005-03-21 13:08:25 as along with 1 person dakvid
	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 logic pnc prooftheory sequent by greg_restall on 2005-03-16 22:55:55 as along with 2 people and 3 groups A_Olympia rzach Philosophy_of_Information Blog_and_Wiki_Research 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 logic normalisation pnc prooftheory by greg_restall on 2005-03-16 11:05:25 as along with 2 people and 1 group rzach yoriyuki LogicPhilMath
	Hypersequent Calculi for Godel Logics - a Survey [My Copy] Journal of Logic and Computation, Vol. 13, No. 6. (December 2003), pp. 835-861. by M. Baaz, A. Ciabattoni, C. G. Fermuller posted to gentzen godel hypersequents logic pnc prooftheory sequent by greg_restall on 2005-03-15 07:32:40 as along with 2 people and 1 group rzach htowsner LogicPhilMath
	Early Examples of Resource-Consciousness [My Copy] Studia Logica, Vol. 77, No. 1. (2004), pp. 81-86. by Victor Pambuccian posted to affine geometry logic pnc resource substructural by greg_restall on 2005-03-13 10:47:54 as

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

logic	22
prooftheory	22
sequent	10
semantics	7
category	5
coherence	4
cut_elimination	4
normalisation	4
proof	4
calculus	3
deduction	3
gentzen	3
natural	3
naturaldeduction	3
proofnet	3
studyleave2005	3
classical	2
cutelimination	2
history	2
identity	2
justification	2
linear	2
mathematics	2
meaning	2
mix	2
prawitz	2
structure	2
substructural	2
typetheory	2
affine	1
associativity	1
blackburn	1
braid	1
computability	1
concepts	1
consequence	1
continuation	1
correctness	1
cut	1
definition	1
dialogue	1
equality	1
expressivism	1
fitch	1
geometry	1
godel	1
haskell	1
hypersequents	1
inference	1
infinitary	1
jaskowski	1
keisler	1
lc2005	1
lemmon	1
martin-lf	1
modal	1
modularity	1
negation	1
noncommutative	1
order	1
prootheory	1
quantification	1
quantifier	1
quasi-realism	1
quine	1
relevant	1
resource	1
rewriting	1
sequentialisation	1
slice	1
substitution	1
substitutional	1
switching	1
tableaux	1
temporal	1
theory	1
truth	1
uncountable	1
validity	1

Tag pnc [41 articles] Export

Related Tags