greg_restall's watchlist [more than 800 articles] Export

Recent papers matching greg_restall's watchlist criteria

	On proof and progress in mathematics [My Copy] (1 Apr 1994) by William P. Thurston posted to metamath math-history logic famous by JoseBrox on 2009-11-08 03:34:51 as along with 7 people NitinCR imrchen ansobol jrw proportional dmitri83 archernikov
	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted to newbie logic forcing by JoseBrox on 2009-11-08 03:32:49 as along with 8 people and 1 group pirapira jrw qwermish ansobol dmitri83 archernikov jedal teesid Model theory
	Investigating subsumption in SNOMED CT: An exploration into large description logic-based biomedical terminologies [My Copy] Artificial Intelligence in Medicine, Vol. 39, No. 3. (19 March 2007), pp. 183-195. by O. Bodenreider, B. Smith, A. Kumar, A. Burgun posted to ontology logic formal description by vkwn on 2009-11-06 10:37:18 as along with 1 person hoganwr
	Impossible Antecedents and Their Consequences: Some Thirteenth-Century Arabic Discussions [My Copy] History and Philosophy of Logic, Vol. 30, No. 3., pp. 209-225. by Khaled El-Rouayheb
	Avicenna and [image omitted]usi on Modal Logic [My Copy] History and Philosophy of Logic, Vol. 30, No. 3., pp. 227-239. by Henrik Lagerlund
	The Godelian Inferences [My Copy] History and Philosophy of Logic, Vol. 30, No. 3., pp. 241-256. by Curtis Franks
	Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information [My Copy] History and Philosophy of Logic, Vol. 30, No. 3., pp. 257-282. by Giuseppe Primiero
	C. I. Lewis on Possible Worlds [My Copy] History and Philosophy of Logic, Vol. 30, No. 3., pp. 283-291. by Igor Sedlar
	Applications of Fuzzy Logic in Data Mining Process [My Copy] Advanced Fuzzy Logic Technologies in Industrial Applications (2006), pp. 249-260. by Hang Chen posted to mining logic fuzzy by dokooh on 2009-11-05 15:41:57 as
	An application of co-inductive types in Coq: Verification of the alternating bit protocol [My Copy] Types for Proofs and Programs (1996), pp. 135-152. by Eduardo Giménez posted to verification theorem-proving recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 14:02:51 as
	A Tutorial on Recursive Types in Coq [My Copy] INRIA ROCQUENCOURT (1998) by Eduardo Giménez posted to types recursion master-project logic functional-programming coq coinduction by mvermaat on 2009-11-05 13:34:58 as
	Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie? [My Copy] (17 Feb 2009) by Claus-Peter Wirth posted to logic automatic-theorem-proving by JoseBrox on 2009-11-04 16:29:07 as
	Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) [My Copy] (29 September 2005) by Richard Bornat posted to tool textbook proof logic jape formal book 2005 by michaelbanks on 2009-11-04 12:12:06 as
	The Logic of Animal Conflict [My Copy] Nature, Vol. 246, No. 5427. (02 November 1973), pp. 15-18. by J. Maynard Smith, G. R. Price posted to meer_projection logic human conflict animal by ch_orse on 2009-11-04 11:01:41 as along with 12 people and 1 group lcigler schepparn anarinsk kumar_physics bhengeveld Benja matteodellamico ec_dude ible carolaccs mtkn jonana VivesMinions
	Types are weak omega-groupoids [My Copy] (1 Dec 2008) by Benno van den Berg, Richard Garner posted to logic by JoseBrox on 2009-11-02 13:38:50 as
	Homotopy theoretic models of identity types [My Copy] (3 Sep 2007) by Steve Awodey, Michael A. Warren posted to logic by JoseBrox on 2009-11-02 13:37:57 as along with 1 person kaqui
	Preface [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 1-2. by Andrea Corradini
	A Note on an Old-Fashioned Algebra for (Disconnected) Graphs [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 3-15. by Fabio Gadducci
	A Port Graph Calculus for Autonomic Computing and Invariant Verification [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 17-38. by Oana Andrei, Hélène Kirchner
	A Term Rewriting Technique for Decision Graphs [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 39-54. by Bahareh Badban
	Recursive Functions with Pattern Matching in Interaction Nets [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 55-71. by Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker
	Compilation of Interaction Nets [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 73-90. by Abubakar Hassan, Ian Mackie, Shinya Sato
	Strong Joinability Analysis for Graph Transformation Systems in CHR [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 91-111. by Frank Raiser, Thom Frühwirth
	Lazy Constraint Imposing for Improving the Path Constraint [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 4. (06 November 2009), pp. 113-128. by Ruben D. Viegas, Francisco Azevedo
	Axiomatizing the Equational Theory of Regular Tree Languages [My Copy] Journal of Logic and Algebraic Programming (26 October 2009) by Z. Ésik
	The effective theory of Borel equivalence relations☆ [My Copy] Annals of Pure and Applied Logic (27 October 2009) by Ekaterina B. Fokina, Sy-David Friedman, Asger Törnquist
	Beyond Borel-amenability: Scales and superamenable reducibilities [My Copy] Annals of Pure and Applied Logic (16 October 2009) by L. Motto Ros
	The temporal logic of actions [My Copy] ACM Trans. Program. Lang. Syst., Vol. 16, No. 3. (1994), pp. 872-923. by Leslie Lamport posted to tlaplus tla logic lamport by ajholanda on 2009-10-29 14:28:18 as along with 1 person michaelbanks
	Inverse entailment and Progol [My Copy] (1995) by Stephen Muggleton, Wolfson Building, Parks Road posted to progol logic inverse-entailment ilp generalisation by Maderlock on 2009-10-29 13:57:04 as
	Logic in Computer Science: Modelling and Reasoning about Systems [My Copy] (30 August 2004) by Michael Huth, Mark Ryan posted to systems reasoning modeling methods logic formal computer by dokooh on 2009-10-29 10:38:03 as along with 3 people BastianSpanneberg rob_quill leonardo
	An Order-Sorted Quantified Modal Logic for Meta-ontology [My Copy] Automated Reasoning with Analytic Tableaux and Related Methods (2005), pp. 169-184. by Ken Kaneiwa, Riichiro Mizoguchi posted to reasoning quantification order modal-logic meta-ontology logic by dokooh on 2009-10-27 09:21:43 as
	First-Order Probabilistic Languages: Into the Unknown [My Copy] Inductive Logic Programming (2007), pp. 10-24. by Brian Milch, Stuart Russell posted to statistical-inference review probabilistic logic ilp by Maderlock on 2009-10-25 14:49:36 as along with 1 person dcoates
	Comparing notions of randomness [My Copy] Theoretical Computer Science (17 October 2009) by Bart Kastermans, Steffen Lempp
	Simple algorithms for minimal triangulation of a graph and backward selection of a decomposable Markov network [My Copy] Theoretical Computer Science (16 October 2009) by Mauro Mezzini, Marina Moscarini
	Simulation of one-way cellular automata by boolean circuits [My Copy] Theoretical Computer Science (15 October 2009) by Véronique Terrier
	On Lazy Bin Covering and packing problems☆ [My Copy] Theoretical Computer Science (15 October 2009) by Mingen Lin, Yang Yang, Jinhui Xu
	When ignorance helps: Graphical multicast cost sharing games☆ [My Copy] Theoretical Computer Science (15 October 2009) by Vittorio Bilò, Angelo Fanelli, Michele Flammini, Luca Moscardelli
	A shorter proof that palindromes are not a Church–Rosser language, with extensions to almost-confluent and preperfect Thue systems [My Copy] Theoretical Computer Science (15 October 2009) by Colm Dúnlaing, Natalie Schluter
	Uniform Logical Characterizations of Testing Equivalences for Nondeterministic, Probabilistic and Markovian Processes [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 3-23. by Marco Bernardo
	Discounting in Time [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 25-31. by Uli Fahrenberg, Kim G. Larsen
	An MX/G/1MX/G/1 Energetic Retrial Queue with Vacations and it's Control [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 33-44. by Amar Aissani
	On the Expressive Power of Schedulers in Distributed Probabilistic Systems [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 45-71. by Sergio Giro, P. R. D'Argenio
	The Kantorovich Metric in Computer Science: A Brief Survey [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 73-82. by Yuxin Deng, Wenjie Du
	Exploiting non-Markovian Bio-Processes [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 83-98. by I. Mura, D. Prandi, C. Priami, A. Romanel
	Programming with Quantum Communication [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 99-118. by Anya Tafliovich, Eric C. R. Hehner
	An Interval-based Abstraction for Quantifying Information Flow [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 119-141. by Chunyan Mu, David Clark
	Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 143-165. by Bruno Montalto, Carlos Caleiro
	From Biochemistry to Stochastic Processes [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 167-185. by Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro
	CoBiC: Context-dependent Bioambient Calculus [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 187-201. by Luca Bortolussi, Maria G. Vigliotti
	Preface [My Copy] Electronic Notes in Theoretical Computer Science, Vol. 253, No. 3. (01 November 2009), pp. 1-2. by Christel Baier, Alessandra di Pierro

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

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 watchlist [more than 800 articles] Export

greg_restall's tags