greg_restall's watchlist [more than 800 articles] Export

Recent papers matching greg_restall's watchlist criteria

	A PRIMA FACIE DEFENSE OF HOBBESIAN ABSOLUTISM [My Copy] Pacific Philosophical Quarterly, Vol. 90, No. 4., pp. 419-449. by S. H. A. N. E. D. COURTLAND
	IS THERE A RIGHT TO PRIVACY? [My Copy] Pacific Philosophical Quarterly, Vol. 90, No. 4., pp. 450-475. by S. T. E. V. E. N. DAVIS
	FRANCESCOTTI ON FISSION [My Copy] Pacific Philosophical Quarterly, Vol. 90, No. 4., pp. 476-481. by J. E. N. S. JOHANSSON
	PERCEPTUAL PRESENCE [My Copy] Pacific Philosophical Quarterly, Vol. 90, No. 4., pp. 482-502. by J. A. S. O. N. LEDDINGTON
	EVIDENTIAL SUPPORT, RELIABILITY, AND HUME'S PROBLEM OF INDUCTION [My Copy] Pacific Philosophical Quarterly, Vol. 90, No. 4., pp. 503-519. by C. H. R. I. S. TUCKER
	CAN I KILL MY YOUNGER SELF? TIME TRAVEL AND THE RETROSUICIDE PARADOX [My Copy] Pacific Philosophical Quarterly, Vol. 90, No. 4., pp. 520-534. by P. E. T. E. R. B. M. VRANAS
	IS MEANING FRAUGHT WITH OUGHT? [My Copy] Pacific Philosophical Quarterly, Vol. 90, No. 4., pp. 535-555. by D. A. N. I. E. L. WHITING
	Formal Languages and Compilation (Texts in Computer Science) [My Copy] (31 January 2009) by Stefano C. Reghizzi posted to programming logic by lehalle on 2009-11-21 07:38:19 as
	Generalized Ultrametrics, Domains And An Application To Computational Logic [My Copy] Irish Mathematical Society Bulletin, Vol. 41 (1998), pp. 31-43. by Anthony K. Seda, Pascal Hitzler posted to ultrametric logic by jcreed on 2009-11-20 17:03:39 as
	A simulation of business-to-business decision making in a relationship marketing context☆ [My Copy] Industrial Marketing Management, Vol. 38, No. 8. (21 November 2009), pp. 994-1005. by Alison Watkins, Ronald P. Hill posted to simulation relationship_communication marketing_models managing_marketing logic decisions business_context by seisonseis on 2009-11-18 12:45:01 as along with 1 person dynaopto
	“What’s it Worth to Me?” Three interpretive studies of the relative roles of task-oriented and reflexive processes in separate versus joint value construction [My Copy] Journal of Economic Psychology, Vol. 30, No. 6. (28 December 2009), pp. 840-858. by Stephen J. Gould, Thomas Kramer posted to value service logic co-production by seisonseis on 2009-11-18 09:09:32 as
	The surprise examination or unexpected hanging paradox [My Copy] (6 Sep 2005) by Timothy Y. Chow posted to paradox logic by mvermaat on 2009-11-16 09:57:15 as
	A Cheerful Introduction to Forcing and the Continuum Hypothesis [My Copy] (14 Dec 2007) by Kenny Easwaran posted to zfc set-theory logic forcing by JoseBrox on 2009-11-16 00:46:30 as along with 3 people and 1 group proportional dmitri83 archernikov Model theory
	A Brief History of Future Set Theory [My Copy] (27 Jul 2008) by Werner Depauli-Schimanovich posted to zfc set-theory naive-set-theory logic by JoseBrox on 2009-11-16 00:44:22 as along with 1 person ansobol
	A System of Axiomatic Set Theory--Part I [My Copy] The Journal of Symbolic Logic, Vol. 2, No. 1. (1937), pp. 65-77. by Paul Bernays posted to system set_theory logic axiom by ajholanda on 2009-11-13 13:29:45 as
	Delegation logic: A logic-based approach to distributed authorization [My Copy] ACM Trans. Inf. Syst. Secur., Vol. 6, No. 1. (February 2003), pp. 128-171. by Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum posted to logic delegation by amirreza on 2009-11-13 07:20:42 as along with 2 people fheintz charoy
	Security Theorems via Model Theory [My Copy] (11 Nov 2009) by Joshua Guttman posted to security model logic by sgwyj on 2009-11-12 21:23:23 as
	Linked Photoswitches Where Both Photochromes Open and Close [My Copy] Organic Letters, Vol. 6, No. 11. (1 May 2004), pp. 1729-1732. by Reginald H. Mitchell, Subhajit Bandyopadhyay posted to photoswitches photochromes logic linked higher by matt4toxicology on 2009-11-11 17:34:13 as
	Observational equality, now! [My Copy] In PLPV '07: Proceedings of the 2007 workshop on Programming languages meets program verification (2007), pp. 57-68. by Thorsten Altenkirch, Conor McBride, Wouter Swierstra posted to logic by fvogels on 2009-11-10 22:40:45 as along with 4 people msakai pedagand noam_zeilberger Benja
	The Mathematical Development of Set Theory from Cantor to Cohen [My Copy] The Bulletin of Symbolic Logic, Vol. 2, No. 1. (1996), pp. 1-71. by Akihiro Kanamori posted to set_theory mathematical_development logic cantor by ajholanda on 2009-11-10 14:00:26 as
	An Axiomatics for Nonstandard Set Theory, Based on Von Neumann-Bernays-Gödel Theory [My Copy] The Journal of Symbolic Logic, Vol. 66, No. 3. (2001), pp. 1321-1341. by P. V. Andreev, E. I. Gordon posted to von_neumann-bernays-godel-set_theory set_theory logic by ajholanda on 2009-11-09 11:06:25 as
	The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis. [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 24, No. 12. (December 1938), pp. 556-557. by K. Gödel posted to logic godel continuum axiom_of_chioce by ajholanda on 2009-11-09 10:48:11 as
	Consistency-Proof for the Generalized Continuum-Hypothesis. [My Copy] Proceedings of the National Academy of Sciences of the United States of America, Vol. 25, No. 4. (April 1939), pp. 220-224. by K. Gödel posted to logic godel continuum by ajholanda on 2009-11-09 10:46:40 as
	On proof and progress in mathematics [My Copy] (1 Apr 1994) by William P. Thurston posted to survey popular physics metamath mathematics math-history math logic general-culture fun famous by jpburelle on 2009-11-09 03:06:14 as along with 8 people JoseBrox 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 13 people and 1 group jpp1021 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

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