greg_restall's Carbone:A [3 articles] Export Sort

Recent papers posted to greg_restall's library by the author Carbone:A. You can also see everyone's Carbone:A.

Hide details

	Making Proofs without Modus Ponens: an introduction to the combinatorics and complexity of cut elimination [My Copy] Bulletin of the American Mathematical Society, Vol. 34 (April 1997), pp. 131-159. by S. Semmes, A. Carbone posted to combinatorics complexity cut_elimination logic pnc prooftheory sequent by greg_restall on 2005-03-18 08:31:31 as
	Duplication of directed graphs and exponential blow up of proofs [My Copy] Annals of Pure and Applied Logic, Vol. 100 (1999), pp. 1-67. by A. Carbone posted to bibtex-import by greg_restall on 2005-03-12 04:20:58 as
	Interpolants, Cut Elimination and Flow graphs for the Propositional Calculus [My Copy] Annals of Pure and Applied Logic, Vol. 83 (1997), pp. 249-299. by A. Carbone posted to bibtex-import by greg_restall on 2005-03-12 04:20:58 as

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

greg_restall's tags

All tags in greg_restall's library

Filter:

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.

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

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