jrw's logic [134 articles] Export

Recent papers added to jrw's library classified by the tag logic. You can also see everyone's logic.

	Temperley-Lieb Algebra: From Knot Theory to Logic and Computation via Quantum Mechanics [My Copy] (14 Oct 2009) by Samson Abramsky posted to quantum mathematics logic knots geometry computation category-theory algebra by jrw on 2009-10-18 23:55:44 as
	Graph-based Logic and Sketches [My Copy] (18 Sep 2008) by Atish Bagchi, Charles Wells posted to category-theory logic mathematics by jrw on 2009-08-04 18:57:31 as
	A beginner's guide to forcing [My Copy] (8 May 2008) by Timothy Y. Chow posted to logic mathematics by jrw on 2009-05-20 20:24:40 as along with 8 people and 1 group JoseBrox pirapira qwermish ansobol dmitri83 archernikov jedal teesid Model theory
	Bohrification of operator algebras and quantum logic [My Copy] (14 May 2009) by Chris Heunen, Nicolaas P. Landsman, Bas Spitters posted to category-theory logic physics quantum quantum-information topos-theory by jrw on 2009-05-15 21:01:16 as along with 1 person ttylec
	Coherence for rewriting 2-theories [My Copy] (1 Apr 2009) by Jonathan A. Cohen posted to category-theory languages logic mathematics thesis by jrw on 2009-04-02 17:18:06 as along with 2 people Scis0000002 pqnelson
	Physics, Topology, Logic and Computation: A Rosetta Stone [My Copy] ArXiv e-prints (6 March 2009) by J. C. Baez, M. Stay posted to computation geometry logic physics quantum by jrw on 2009-03-03 22:26:23 as along with 11 people amozeika mwbuksas pirapira egcavalcanti Scis0000002 jjrohal ttylec sflammia ansobol janpaniev pqnelson
	Quantum Logic in Dagger Categories with Kernels [My Copy] (13 Feb 2009) by Chris Heunen, Bart Jacobs posted to category-theory logic mathematics quantum by jrw on 2009-02-16 07:24:07 as
	Syntax for Split Preorders [My Copy] (5 Feb 2009) by K. Dosen, Z. Petric posted to category-theory languages logic mathematics by jrw on 2009-02-06 01:31:00 as
	Graphs States and the necessity of Euler Decomposition [My Copy] (3 Feb 2009) by Ross Duncan, Simon Perdrix posted to category-theory computation graphs logic quantum-computation by jrw on 2009-02-05 01:14:15 as along with 1 person linchen
	Graphical Reasoning in Compact Closed Categories for Quantum Computation [My Copy] (3 Feb 2009) by Lucas Dixon, Ross Duncan posted to category-theory computation graphs logic printed quantum-computation by jrw on 2009-02-05 01:03:30 as along with 2 people christiankissig pqnelson
	A Topos Formulation of Consistent Histories [My Copy] (7 Dec 2008) by Cecilia Flori posted to logic physics quantum topos-theory by jrw on 2008-12-09 17:20:18 as along with 1 person pqnelson
	Mathematical undecidability and quantum randomness [My Copy] (27 Nov 2008) by Tomasz Paterek, Johannes Kofler, Robert Prevedel, et al.Peter Klimek, Markus Aspelmeyer, Anton Zeilinger, Caslav Brukner posted to computation logic mathematics physics quantum by jrw on 2008-12-03 23:09:52 as along with 8 people billxia Scis0000002 cosenal seanc iff knapp qwermish sflammia
	Compactly accessible categories and quantum key distribution [My Copy] (13 Nov 2008) by Chris Heunen posted to category-theory languages logic mathematics quantum by jrw on 2008-11-15 02:30:58 as
	Quantifiers for quantum logic [My Copy] (10 Nov 2008) by Chris Heunen posted to algebra category-theory logic mathematics quantum by jrw on 2008-11-11 16:36:18 as
	Topological Completeness for Higher-Order Logic [My Copy] (24 Jul 1997) by Steve Awodey, Carsten Butz posted to category-theory geometry logic mathematics topos-theory by jrw on 2008-10-25 01:44:56 as
	Notions of Lawvere theory [My Copy] (14 Oct 2009) by Stephen Lack, Jiri Rosicky posted to mathematics logic category-theory algebra by jrw on 2008-10-17 07:16:04 as along with 2 people oryp6518 christiankissig
	W-types in sheaves [My Copy] (14 Oct 2008) by Benno van den Berg, Ieke Moerdijk posted to category-theory logic mathematics by jrw on 2008-10-15 17:23:37 as
	Complexity Classes as Mathematical Axioms [My Copy] (30 Sep 2008) by M. Freedman posted to computation geometry knots logic mathematics printed by jrw on 2008-10-06 17:31:36 as along with 1 person ansobol
	Graph-based Logic and Sketches [My Copy] (18 Sep 2008) by Atish Bagchi, Charles Wells posted to printed mathematics logic graphs category-theory by jrw on 2008-09-21 23:03:12 as along with 1 person pqnelson
	On the strength of dependent products in the type theory of Martin-Löf [My Copy] (31 Mar 2008) by Richard Garner posted to category-theory computation logic mathematics by jrw on 2008-08-18 20:02:15 as
	Two-dimensional models of type theory [My Copy] (15 Aug 2008) by Richard Garner posted to category-theory computation logic mathematics by jrw on 2008-08-18 19:58:52 as
	Integrals and Valuations [My Copy] (11 Aug 2008) by Thierry Coquand, Bas Spitters posted to algebra geometry logic mathematics by jrw on 2008-08-12 21:25:14 as
	De Morgan classifying toposes [My Copy] (11 Aug 2008) by Olivia Caramello posted to category-theory logic mathematics topos-theory by jrw on 2008-08-12 20:33:22 as
	Higher Topos Theory [My Copy] ArXiv Mathematics e-prints (31 Jul 2008) by Jacob Lurie posted to category-theory logic mathematics topos-theory by jrw on 2008-08-01 19:29:06 as along with 6 people NitinCR isotelesis cczhu scis0000001 Scis0000002 jedal
	On the Axiomatisation of Boolean Categories with and without Medial [My Copy] (5 Oct 2007) by Lutz Strassburger posted to category-theory computation logic mathematics by jrw on 2008-06-19 01:56:58 as
	The three dimensions of proofs [My Copy] (4 Dec 2006) by Yves Guiraud posted to category-theory logic mathematics by jrw on 2008-06-15 07:25:44 as
	Linking diagrams for free [My Copy] (11 May 2008) by Dominic J. D. Hughes posted to category-theory computation graphs logic mathematics by jrw on 2008-05-13 07:44:16 as
	A language for mathematical language management [My Copy] (9 May 2008) by Steven Kieffer, Jeremy Avigad, Harvey Friedman posted to languages logic mathematics philosophy printed by jrw on 2008-05-12 23:14:45 as along with 2 people and 1 group pedagand amatos Lambda the Ultimate
	Presentation of a Game Semantics for First-Order Propositional Logic [My Copy] (7 May 2008) by Samuel Mimram posted to algebra category-theory languages logic mathematics by jrw on 2008-05-09 19:47:39 as along with 1 person noam_zeilberger
	The Geometry of Interaction of Differential Interaction Nets [My Copy] (9 Apr 2008) by Marc de Falco posted to computation logic by jrw on 2008-04-11 02:51:12 as
	A general construction of internal sheaves in algebraic set theory [My Copy] (11 Nov 2007) by Steve Awodey, Nicola Gambino, Peter L. Lumsdaine, Michael A. Warren posted to category-theory geometry logic mathematics topos-theory by jrw on 2007-11-13 03:05:51 as
	Proofs Without Syntax [My Copy] (18 Jul 2006) by Dominic Hughes posted to combinatorics computation logic mathematics printed by jrw on 2007-10-10 05:22:31 as
	Logic Without Syntax [My Copy] (4 Apr 2005) by Dominic Hughes posted to combinatorics computation logic mathematics by jrw on 2007-10-10 05:22:14 as
	Petri nets are monoids: a new algebraic foundation for net theory [My Copy] Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on In Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on (1988), pp. 155-164. by J. Meseguer, U. Montanari posted to category-theory computation logic mathematics process-networks by jrw on 2007-08-23 00:57:55 as along with 2 people ansobol tautologico
	Seven Trees in One [My Copy] (20 May 1994) by Andreas Blass posted to combinatorics logic mathematics by jrw on 2007-08-06 19:46:33 as
	A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points [My Copy] (19 May 2003) by Noson S. Yanofsky posted to category-theory logic mathematics printed by jrw on 2007-08-06 19:44:02 as
	Partiality in physics [My Copy] (4 Dec 2003) by Bob Coecke, Keye Martin posted to category-theory logic mathematics physics printed quantum quantum-information by jrw on 2007-07-25 07:51:24 as along with 1 person proportional
	Epistemic actions as resources [My Copy] (5 Mar 2007) by Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh posted to category-theory logic mathematics physics printed quantum by jrw on 2007-07-25 07:17:33 as
	Early Greek Thought and Perspectives for the Interpretation of Quantum Mechanics: Preliminaries to an Ontological Approach [My Copy] (7 Nov 2006) by K. Verelst, B. Coecke posted to history logic philosophy physics printed quantum by jrw on 2007-07-25 07:15:20 as
	A Categorical Quantum Logic [My Copy] ArXiv Quantum Physics e-prints (15 Dec 2005) by Samson Abramsky, Ross Duncan posted to category-theory computation logic quantum by jrw on 2007-07-20 07:27:36 as along with 2 people aleks scis0000001
	Why isn't every physicist a Bayesian? [My Copy] American Journal of Physics, Vol. 63, No. 5. (1995), pp. 398-410. by Robert D. Cousins posted to bayesian logic physics quantum by jrw on 2007-07-02 20:33:58 as along with 15 people and 1 group VolkerF noblepa Alois thyk ansobol eme Borelli proportional CoffeeIV marymcglo skl quianominor qwermish abominable fredguilloux astro
	A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points [My Copy] (19 May 2003) by Noson S. Yanofsky posted to category-theory logic mathematics printed by jrw on 2007-06-22 19:57:25 as
	Monads for Natural Language Semantics [My Copy] by Chung C. Shan posted to category-theory computation languages logic mathematics by jrw on 2007-06-13 09:41:22 as along with 2 people JeffreyPalmer Scis0000002
	The fundamental progroupoid of a general topos [My Copy] (12 Jun 2007) by Eduardo J. Dubuc posted to category-theory logic mathematics by jrw on 2007-06-13 07:22:01 as along with 1 person Scis0000002
	Relevant Categories and Partial Functions [My Copy] (6 Jun 2007) by K. Dosen, Z. Petric posted to category-theory logic mathematics by jrw on 2007-06-07 23:05:06 as
	Relational databases and indexed categories [My Copy] (1992) by R. Rosebrugh, R. Wood posted to category-theory computation data-structures graphs languages logic mathematics by jrw on 2007-05-16 08:49:24 as along with 1 person scis0000001
	Category theory based on combinatory logic [My Copy] Archive for Mathematical Logic, Vol. 24, No. 1. (1 December 1984), pp. 1-16. by M. W. Bunder posted to category-theory combinatorics logic mathematics by jrw on 2007-05-10 06:57:38 as along with 2 people scis0000001 pirapira
	Modules over Monads and Linearity [My Copy] (7 May 2007) by André Hirschowitz, Marco Maggesi posted to category-theory computation languages logic mathematics printed by jrw on 2007-05-09 03:51:45 as along with 1 person mstone
	A comparison between two logical formalisms for rewriting [My Copy] ArXiv Computer Science e-prints (January 2006) by M. Palomino posted to computation logic mathematics by jrw on 2007-05-07 06:02:52 as along with 1 person scis0000001
	2-Categorical Specification of Partial Algebras [My Copy] by Martin G. Rhode, Uwe Wolter posted to algebra category-theory computation logic mathematics printed by jrw on 2007-05-07 04:16:19 as along with 1 person scis0000001

Note: You may cite this page as: http://www.citeulike.org/user/jrw/tag/logic

Result page: 1 2 3 Next

physics	1514
quantum	1282
mathematics	1147
computation	638
quantum-information	479
quantum-computation	417
algebra	386
geometry	386
printed	363
category-theory	358
quantum-gravity	298
algorithms	285
languages	247
networks	210
fun	189
graphs	188
combinatorics	148
logic	134
functional	112
group-theory	96
classical-gravity	86
data-structures	65
experiment	62
permutations	51
gravity	50
information-theory	47
automata	46
lisp	43
causal-networks	41
endorsements	35
symmetry	33
bayesian	31
haskell	28
ai	26
history	26
knots	26
quantum-cosmology	26
string-theory	26
statistical-mechanics	25
blackholes	24
braids	21
relational-physics	21
thesis	18
number-theory	15
philosophy	12
topos-theory	12
concurrency	11
biology	9
erlang	9
analysis	8
process-networks	8
economics	6
coalgebra	5
dataflow	5
cosmology	4
brain	3
control-flow	3
galois-theory	3
lectures	3
process-physics	3
quantum-field-theory	3
representations	3
essay	2
policy	2
science	2
complexity	1
education	1
gauge-theory	1
groupoids	1
ml	1
operads	1
writing	1

jrw's logic [134 articles] Export

jrw's tags