kaqui's logic [9 articles] Export

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

	Homotopy theoretic models of identity types [My Copy] (3 Sep 2007) by Steve Awodey, Michael A. Warren posted to category logic theory by kaqui on 2008-05-27 14:23:39 as along with 1 person JoseBrox
	Representatio, Reasoning, and Relational Structures: a Hybrid Logic Manifesto [My Copy] L. J. of the IGPL, Vol. 8, No. 3. (2000), pp. 339-365. by Patrick Blackburn posted to hybrid logic modal by kaqui on 2008-02-11 17:11:44 as
	Exogenous Semantics Approach to Enriching Logics [My Copy] Essays on the Foundations of Mathematics and Logic (2005) by P. Mateus, A. Sernadas, C. Sernadas edited by G. Sica posted to eqpl exogenous logic quantum by kaqui on 2007-08-10 17:14:39 as
	Outline of a Paraconsistent Category Theory [My Copy] Alternative Logics (2004) by N. da Costa, O. Bueno, A. Volkov posted to category logic paraconsistent by kaqui on 2007-08-10 16:08:35 as
	Topoi, the Categorial Analysis of Logic (Studies in Logic and the Foundations of Mathematics) [My Copy] by Robert Goldblatt posted to category logic topoi by kaqui on 2007-08-10 15:59:10 as along with 3 people seno DavidChemouil Scis0000002
	Introduction to higher order categorical logic [My Copy] (1986) by J. Lambek, P. J. Scott posted to higher-order logic by kaqui on 2007-08-10 15:56:12 as along with 1 person Scis0000002
	On some connections between logic and category theory [My Copy] Studia Logica, Vol. 48, No. 3. (1989), pp. 269-278. by J. Lambek posted to category logic by kaqui on 2007-08-10 15:53:17 as along with 1 person scis0000001
	0402014.pdf (application/pdf Object) [My Copy] by B. Coecke posted to entanglement logic by kaqui on 2006-07-05 14:31:54 as
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted to category logic by kaqui on 2006-07-05 14:29:14 as along with 18 people and 4 groups ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks keigoi xiemaisi glaubersp janschaefer mmarcus ps_ttf NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup

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

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.

category	10
logic	9
theory	3
hilbert	2
quantum	2
topoi	1
paraconsistent	1
hybrid	1
exogenous	1
higher-order	1
n-categories	1
modal	1
entanglement	1
algebra	1
manifesto	1
measure	1
eqpl	1

kaqui's logic [9 articles] Export

kaqui's tags