greg_restall's library 2141 articles Export

	Complete Sequent Calculi for Induction and Infinite Descent [My Copy] (2007) by James Brotherson, Alex Simpson posted to sequent pnc logic induction cutelimination by greg_restall on 2007-02-01 10:50:15 as along with 2 people and 2 groups A_Olympia noam_zeilberger Philosophy_of_Information Blog_and_Wiki_Research
	Robert Jenson on the pre-existence of Christ [My Copy] Modern Theology, Vol. 23, No. 1. (January 2007), pp. 27-45. by Oliver D. Crisp posted to theology incarnation identity existence by greg_restall on 2007-01-21 06:54:33 as
	Symmetry and Paradox [My Copy] History and Philosophy of Logic, Vol. 27, No. 4. (November 2006), pp. 307-318. by Stephen Read posted to bradwardine buridan liar logic paradox sorensen truthteller by greg_restall on 2006-11-16 09:38:08 as along with 2 people and 2 groups Scis0000002 A_Olympia Philosophy_of_Information Blog_and_Wiki_Research
	The Liar Paradox from John Buridan back to Thomas Bradwardine [My Copy] Vivarium, Vol. V40, No. 2. (1 October 2002), pp. 189-218. by Stephen Read posted to bradwardine buridan classical liar logic paradox semantics by greg_restall on 2006-11-16 08:20:06 as
	Noncomparabilities & Nonstandard Logics [My Copy] by Robert C. Hockett posted to ethics justice logic nonclassical rawls by greg_restall on 2006-10-26 03:03:22 as
	The dual of substitution is redecoration [My Copy] (2002), pp. 99-110. by Tarmo Uustalu, Varmo Vene posted to category comonad monad tree by greg_restall on 2006-08-18 14:03:58 as along with 7 people and 1 group greenrd jrw zednenem josefs voigt msakai EdwardKmett SRG_at_UCD
	Epistemic actions as resources [My Copy] (7 Aug 2006) by Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh posted to action epistemic resource sequent by greg_restall on 2006-08-16 00:40:41 as along with 5 people pirapira leemond31 jrw dmitri83 Scis0000002
	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
	Under Carnap's Lamp: Flat Pre-semantics [My Copy] Studia Logica, Vol. 80, No. 1. (June 2005), pp. 1-28. by Nuel Belnap posted to carnap logic semantics by greg_restall on 2006-07-20 04:40:16 as
	Ternary Relational Semantics and Beyond: Programs as Arguments (Data) and Programs as Functions (Programs) [My Copy] Logical Studies, Vol. 7 (2001), pp. 1-20. by Michael J. Dunn posted to logic relevant semantics ternary by greg_restall on 2006-06-10 13:19:31 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
	From Modal Discourse to Possible Worlds [My Copy] Studia Logica, Vol. 82, No. 3. (April 2006), pp. 307-327. by Cresswell, Maxwell posted to discourse ideology logic modal ontology possible_world by greg_restall on 2006-05-24 22:12:52 as along with 1 person and 1 group JessLaccetti Transliteracy
	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
	You'll Regret It [My Copy] Analysis, Vol. 40 (1980), pp. 175-176. by Lloyd Humberstone posted to decision_theory paradox by greg_restall on 2006-04-20 12:56:53 as
	The Cable Guy paradox [My Copy] Analysis, Vol. 65, No. 286. (2005), pp. 112-119. by Alan Hájek posted to decision_theory paradox by greg_restall on 2006-04-20 11:42:48 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
	The Logic of Curry and Church [My Copy] (2006) by Jonathan P. Seldin posted to church curry history_of_logic lambda by greg_restall on 2006-02-13 02:04:39 as along with 1 person and 1 group rzach LogicPhilMath
	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
	Making Counterfactual Assumptions [My Copy] Journal of Semantics, Vol. 22, No. 2. (15 May 2005), pp. 159-180. by Frank Veltman posted to counterfactual dynamic modality semantics update by greg_restall on 2005-12-12 10:37:35 as along with 3 people and 1 group garyfeng ly3 MorganHill ReadingLab
	On Coherence in Computer Algebra [My Copy] In Design and Implementation of Symbolic Computation Systems (1993), pp. 95-106. by Andreas Weber posted to algebra category coherence by greg_restall on 2005-11-23 10:33:33 as along with 1 person jonjonc
	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
	A Theory of Adjoint Functors--with some Thoughts about their Philosophical Significance [My Copy] (15 Nov 2005) by David Ellerman posted to adjoint category functor logic mathematics by greg_restall on 2005-11-16 11:11:43 as along with 4 people and 2 groups Kevembuangga scis0000001 aleks noam_zeilberger Impending_AI_breakthrough Compilers
	Supervaluationism and Its Logics [My Copy] (2005) by Achille Varzi posted to logic pluralism supervaluation vagueness by greg_restall on 2005-10-28 16:03:04 as along with 1 person and 1 group rzach LogicPhilMath
	Proofstyle and Understanding in Mathematics I: Visualization, Unification and Axiom Choice [My Copy] In Visualization, Explanation and Reasoning Styles in Mathematics (2005) by Jamie Tappenden edited by Paolo Mancosu, Klaus F. Jørgensen, Stig A. Pedersen posted to axiom explanation mathematics proof by greg_restall on 2005-10-24 14:49:50 as along with 2 people and 2 groups rzach Kevembuangga LogicPhilMath Impending_AI_breakthrough
	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
	Logical Concepts and Logical Inferences [My Copy] Dialectica, Vol. 58, No. 3. (2004), pp. 395-411. by Paolo Casalegno posted to concept deduction inference inferentialism logic meaning natural pnc by greg_restall on 2005-10-07 14:26:56 as
	A categorical semantics of quantum protocols [My Copy] (30 Apr 2004) by Samson Abramsky, Bob Coecke posted to category logic proofnet quantum by greg_restall on 2005-10-06 10:06:38 as along with 6 people christiankissig pqnelson jrw dmitri83 scis0000001 eswar_physics
	The logic of entanglement [My Copy] (2 March 2004) by Bob Coecke posted to category logic proofnets quantum by greg_restall on 2005-10-06 10:05:51 as along with 4 people and 2 groups A_Olympia jrw dmitri83 eswar_physics Philosophy_of_Information Blog_and_Wiki_Research
	Kant, Bolzano, and the Emergence of Logicism [My Copy] The Journal of Philosophy, Vol. 79, No. 11. (1982), pp. 679-689. by Alberto Coffa posted to analytic_philosophy bolzano frege history_of_logic kant logicism by greg_restall on 2005-09-20 09:44:55 as along with 1 person and 1 group rzach LogicPhilMath
	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
	An Introduction to Dependent Type Theory [My Copy] Lecture Notes in Computer Science, pp. 1-41. by Gilles Barthe, Thierry Coquand posted to typetheory by greg_restall on 2005-09-09 11:59:35 as along with 4 people and 1 group Scis0000002 dherman tautologico noam_zeilberger NU-PRL
	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
	Propositional logic of continuous transformations in Cantor space [My Copy] Archive for Mathematical Logic, Vol. 44, No. 6. (2005), pp. 783-799. by Grigori Mints, Ting Zhang posted to cantor continuous logic modal space transformation by greg_restall on 2005-09-06 15:48:25 as along with 2 people and 2 groups A_Olympia scis0000001 Philosophy_of_Information Blog_and_Wiki_Research
	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

Note: You may cite this page as: http://www.citeulike.org/user/greg_restall/

Result page: 1 2 3 4 5 6 7 8 9 10 Next

bibtex-import	2009
pnc	88
logic	86
prooftheory	48
sequent	29
semantics	27
lc2005	21
category	18
cutelimination	13
deduction	13
normalisation	13
natural	11
paradox	10
modal	9
calculus	8
mathematics	8
cut_elimination	7
gentzen	7
history	7
lattice	7
proof	7
relevant	7
substructural	7
history_of_logic	6
identity	6
inference	6
kant	6
linear	6
meaning	6
philosophical_logic	6
proofnet	6
truth	6
classical	5
coherence	5
intuitionistic	5
lambek	5
anti-realism	4
carnap	4
epistemic	4
inferentialism	4
lambda	4
philosophy	4
quantum	4
realism	4
structure	4
studyleave2005	4
a_priori	3
concurrency	3
context	3
delay	3
duality	3
fairness	3
finite	3
flow	3
frege	3
godel	3
induction	3
information	3
liar	3
naturaldeduction	3
negation	3
paraconsistent	3
pluralism	3
representation	3
resource	3
stone	3
textbook	3
typetheory	3
algebra	2
arithmetic	2
assertion	2
belief	2
bradwardine	2
buridan	2
coalgebra	2
computability	2
conditional	2
constructive	2
content	2
contraction	2
curry	2
cut	2
decision_theory	2
display	2
epistemology	2
final	2
fixed	2
fixpoints	2
foundations	2
geometry	2
haskell	2
hilbert	2
justification	2
knowledge	2
mix	2
model	2
nonclassical	2
normativity	2
point	2
prawitz	2
proofnets	2
quantification	2
revision	2
russell	2
situation	2
space	2
substitution	2
synthetic	2
tableaux	2
theology	2
theory	2
update	2
vagueness	2
action	1
adjoint	1
affine	1
algebras	1
analysis	1
analytic	1
analytic_philosophy	1
argumentation	1
associativity	1
attitudes	1
axiom	1
barwise	1
behmann	1
bilattices	1
blackburn	1
blog	1
bolzano	1
braid	1
canberra_plan	1
cantor	1
cassirer	1
choice	1
chu_construction	1
church	1
church-truring_thesis	1
closure	1
combinatorics	1
communication	1
comonad	1
complexity	1
concept	1
concepts	1
conceptual	1
conditionalising	1
connective	1
consequence	1
conservativeextension	1
consistency	1
continuation	1
continuous	1
correctness	1
counterfactual	1
defeasibility	1
definition	1
deflationism	1
degrees	1
denial	1
dialetheism	1
dialogue	1
discourse	1
disjunction	1
disposition	1
domain	1
dummett	1
dynamic	1
elimination	1
encyclopedia	1
entailment	1
equality	1
ethics	1
existence	1
explanation	1
expressivism	1
externalism	1
fitch	1
forcing	1
frame	1
free_logic	1
functor	1
fuzzy_logic	1
generality	1
groups	1
harmony	1
heidegger	1
herbrand	1
hilberts_program	1
hypersequents	1
ideology	1
impossible	1
incarnation	1
incompleteness	1
inconsistency	1
infinitary	1
interaction	1
internalism	1
introduction	1
intuition	1
izf	1
jaskowski	1
justice	1
keisler	1
knowability	1
knower	1
kuhn	1
lattice-ordered	1
lemmon	1
local	1
logicism	1
logics	1
lucas	1
lukasiewicz_logic	1
many_valued	1
martin-lf	1
mathematical	1
mechanism	1
mental	1
mine	1
mixed	1
modality	1
models	1
modularity	1
monad	1
motivation	1
mu-calculus	1
multipleconclusion	1
multiple_conclusion	1
multiple-valued	1
net	1
noncommutative	1
non-monotonic	1
objects	1
ontology	1
order	1
paradigm	1
philosophy_of_mathematics	1
physics	1
positivism	1
possible	1
possible_world	1
pretopology	1
principia	1
principia_mathematica	1
probability	1
programming	1
prootheory	1
provability	1
psychologism	1
putnam	1
quantifier	1
quasi-realism	1
quine	1
ramsey	1
rawls	1
reason	1
recursive	1
research	1
rewriting	1
s5	1
self-reference	1
seligman	1
sense	1
sequentialisation	1
set_theory	1
slice	1
sorensen	1
star_autonomous	1
structured	1
substitutional	1
supervaluation	1
switching	1
tablesofdevelopment	1
temporal	1
term	1
ternary	1
tolerance	1
tonk	1
transformation	1
tree	1
truthteller	1
type	1
uncountable	1
validity	1
weakening	1
wiki	1
worlds	1
zorns_lemma	1

greg_restall's library 2141 articles Export

greg_restall's tags