Home  Pure_And_Applied_Math  Categorical Algebra And Logic 
Page 1 120 of 82 1  2  3  4  5  Next 20 
1. Categorical Logic Instructor Steve Awodey Office Baker 152 (mail Baker 135) Office Hour Thursday 12, or by appointment Secretary Baker 135 This course focuses on applications of category theory in logic and computer science. categorical logic. 80520/820 Borceux, F. Handbook of categorical algebra (Encyclopedia of Mathematics and its Applications). http://www.andrew.cmu.edu/user/awodey/catlog  

2. MATHEMATICAL STRUCTURES RESEARCH Research topics include mathematical models and theories in the empirical sciences, models and theories Category Society Philosophy Philosophy of Mathematics...... Handbook of categorical algebra 3Categories of Sheaves. Locales, Sheaves, GrothendieckToposes, The Classifying Topos,Elementary Toposes, Internal logic of a http://www.mmsysgrp.com/mathstrc.htm  

3. MAAAmazon Math Book List: Logic Modern algebra and the Rise of Mathematical A logical Approach (Oxford logic Guides,No 16 Uncountably categorical Theories (Translations of Mathematical http://www.maa.org/amazon/algebra/category_theory1.html  

4. Handbook Of Categorical Algebra  Cambridge University Press This document provides an introduction to the interaction between category theory and mathematical logic which is slanted towards computer scientists. categorical and algebraic aspects of martinlof type theory (context)  Obtu  1989. 1 with English summary (context)  Minc, the et al.  1977. 1 the unity of algebra and logic http://books.cambridge.org/0521441803.htm  

5. Categorical Geometry Homepage This site contains online books and research papers on the subjects of categorical algebra, categorical logic, categorical geometry, lattice theory, universal algebra, algebraic geometry. categorical Geometry. categorical algebra. 1 0. categorical logic. 0 1. categorical Geometry http://www.e99.com/cg 
6. Springer NY Categorical Algebra And Its Applications categorical algebra and its applications contain several fundamental papers on general category theory, by the top specialists in the field, and many interesting papers on the applications of category theory in functional analysis, algebraic Go to the Mathematics home page. categorical algebra and its Applications ring theory, cohomology, differential geometry, group theory, mathematical logic and computer sciences. http://www.springerny.com/staticpages/0387503625.htm  

7. Introduction Lambek continued his work in ring theory and categorical algebra (often in Therethen followed a fruitful collaboration on categorical logic with P. Scott http://www.math.mcgill.ca/triples/lambek97/lamintro.html  

8. Logic In New York City foundations of logic programming. Semantics Universal algebra; category theory; categorical model theory; classical http://math.gc.cuny.edu/Logic  

9. WebGuest  Open Directory : Science : Math : Algebra : Category Theory Homepage This site contains online books and research papers on the subjects ofcategorical algebra, categorical logic, categorical geometry, lattice theory http://directory.webguest.com/index.cgi/Science/Math/Algebra/Category_Theory/  

10. Categorical Logic  Pitts (ResearchIndex) 1988 1 categorical logic (context) Crole, Types et al.  1993 1 categoricaland algebraic 1977 1 the unity of algebra and logic (context)  Lambek http://citeseer.nj.nec.com/pitts01categorical.html  

11. Rewriting Properties Of Combinators For Intuitionistic Linear Logic  Nesi, De P lambda calculus Maria Emilia Maietti (Correct) 0.3 Relating categorical Semanticsfor In Proceedings of the Workshop on Higher Order algebra, logic and Term http://citeseer.nj.nec.com/nesi94rewriting.html  

12. KLUWER Academic Publishers  Foundations, Sets And Categories algebra and logic Yuri L Applied categorical Structures A Journal Devoted to Applicationsof categorical Methods in algebra, Analysis, Order, Topology and http://www.wkap.nl/home/topics/J/4/  

13. KLUWER Academic Publishers  Category Theory, Homological Algebra Universal algebra, algebraic logic, and Databases B Theory of Topological StructuresAn Approach to categorical Topology Gerhard Preuss December 1987 http://www.wkap.nl/home/topics/J/4/4/?sort=Z&results=0 
14. Research FE J. Linton, Ph.D. Columbia categorical algebra, functorial semantics, topoi.James Lipton, Ph.D. Cornell logic and computation, logic programming, type http://www.math.wesleyan.edu/research.htm  

15. Graduate Mathematics And Computer Science Program algebraic topology, analysis of algorithms, categorical algebra, combinatorics,complex analysis, computational logic, data mining, ergodic theory, geometric http://www.math.wesleyan.edu/graduate.htm  

16. Categorical Logic, Also Called Aristotelian Logic And syllogistic Logic the algebra of logic how to handle proper names ( Socrates is mortal ), the oddityof 1+1=1, the existential quantifier, and the relationship of categorical http://neologic.net/rd/logic/History of logic.html  

17. Pespmc1.vub.ac.be/CLEA/Seminars/Lambek.txt Grammar, algebra and logic ***** Prof. Em. resulting in a monographwith Phil Scott Introduction to Higher order categorical logic . http://pespmc1.vub.ac.be/CLEA/Seminars/Lambek.txt  

18. Hidden Algebra algebraic exposition of first order logic, proof planning and a systematic expositionof universal algebra and its in August 1999.); A categorical Manifesto, in http://www.cs.ucsd.edu/users/goguen/projs/halg.html  

19. Guests Of The Algebra And Logic Group At The University Of Saskatchewan the strict refinement property) in terms of certain formulas (hformulas) definedby E. A. Palyutin in categorical Horn classes, I. algebra and logic 19(1980 http://math.usask.ca/fvk/alggtalk.htm  

20. Algebra And Logic In Computer Science Group  Department Of Computing Science algebra and logic in Computer Science Group Nonclassical logic, generalised terms compositionsare used to provide a basis for categorical unification in http://www.cs.umu.se/~peklund/groupsonweb/al/al_mon.htm  

Page 1 120 of 82 1  2  3  4  5  Next 20 