Home  Pure_And_Applied_Math  Categorical Algebra And Logic 
Page 1 120 of 83 1  2  3  4  5  Next 20 
Categorical Algebra And Logic: more detail  

1. Categorical Logic Borceux, F. Handbook of categorical algebra (Encyclopedia of Mathematics and its Applications). Makkai, M.\ and Reyes, G. FirstOrder categorical logic. http://www.andrew.cmu.edu/user/awodey/catlog/  

2. Wesleyan Research Areas type theory, linear logic, categorical logic, and relation of mathematics, modeltheoretic algebra. of Mathematics Mathematical logic, applications of model http://www.math.wesleyan.edu/researchareas.htm  

3. 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  

4. 22M:330 Fall 2004  Topics In Algebra  Categorical Structures & Applications Edward N. Zalta (ed.); Mac Lane, Saunders Categories in geometry, algebra and logic . Math. Japon. 42 (1995) 1, 169178. categorical structures are http://www.math.uiowa.edu/~fsouza/22M330F04/Announcement2pt2.html  

5. A Geometric And Algebraic View Of MHCpeptide Complexes And Their define two types of categorical variables of the MHCpeptide the use of propositional logic, and by making a geometric We conclude that algebra and geometry provide a convenient http://rdre1.inktomi.com/click?u=http://www.pubmedcentral.gov/articlerender.fcgi 
6. Introduction Lambek continued his work in ring theory and categorical algebra (often in There then followed a fruitful collaboration on categorical logic with P. Scott http://www.math.mcgill.ca/triples/lambek97/lamintro.html  

7. TUD : ACTUAL RESEARCH REPORT  Group 1. Algebra And Logic  Mathematical Logic A logic (with proof theory, recursion theory and model theory) this involves constructive type theory, categorical logic, universal algebra, domain theory http://www.tudarmstadt.de/forschung/bericht/040100.en.tud  

8. Subject Classification Lecture Notes in Pure and Applied algebra 180 181 and Education, The Bulletin of Symbolic logic, vol categorical Dynamics in Proceedings of Aarhus May 1978 Open http://www.acsu.buffalo.edu/~wlawvere/subject.html  

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

10. Science And Math  Geometry contains online books and research papers on categorical geometry and categorical algebra. logical Art and the Art of logic learn about pentominoes and what http://www.informationentertainment.com/ScienceMath/Geometry.html  

11. 1Up Science > Links Directory > Math: Geometry: Algebraic Geometry Online books and research papers on categorical algebra, categorical logic, categorical geometry, lattice theory, universal algebra and algebraic geometry. http://www.1upscience.com/links/geometryalgebraicgeometry.html 
12. Algebra And Logic In Computer Science Group  Department Of Computing Science algebra and logic in Computer Science Group Non used to provide a basis for categorical unification in Symposium on MultipleValued logic (ISMVL 2001), May 2224 http://www.cs.umu.se/~peklund/groupsonweb/al/al_mon.htm  

13. Yoogoo  Your Best Archive Online books and research papers on categorical algebra, categorical logic, categorical geometry, lattice theory, universal algebra and algebraic geometry. http://www.yoogoo.com/Top/Science/Math/Geometry/Algebraic_Geometry  

14. Yoogoo  Your Best Archive Homepage This site contains online books and research papers on the subjects of categorical algebra, categorical logic, categorical geometry, lattice theory http://www.yoogoo.com/Top/Science/Math/Algebra/Category_Theory  

15. George Voutsadakis Research Interests. algebraic logic; categorical and Universal algebra; Ordered Structures; Combinatorics; Theoretical Computer Science. Mathematical Genealogy. http://pigozzi.lssu.edu/www/RESEARCH/papers.html  

16. About "Categorical Geometry" well as to the online book categorical Geometry. Books, research papers, and notes on categorical algebra, logic, and geometry. http://mathforum.org/library/view/8173.html  

17. PUT Libary 13. Borceux, Francis, Handbook of categorical algebra Vol. 16. de Queiroz, Ruy JGB, logic for Concurrency and Synchronisation, 2003, Michal. 17. http://www.ii.uib.no/~wolter/put/putlibrary.html  

18. Cours Functoriality. Naturality. Monoidal categories. categorical logic. Hopf algebra. Linear logic. MAT3341, Applied Linear algebra Vector and matrix norms. http://aix1.uottawa.ca/~epaqu045/cours.html  

19. Wauu.DE: Science: Math: Algebra: Category Theory Geometry Homepage This site contains online books and research papers on the subjects of categorical algebra, categorical logic, categorical geometry, lattice http://www.wauu.de/Science/Math/Algebra/Category_Theory/  

20. Transactions Of The American Mathematical Society MR 87g08022. 15. E. Palyutin. The description of categorical quasivarieties. algebra and logic, 1486111, 1975. MR 532672. 16. Ã. Szendrei. http://www.ams.org/tran/199835001/S0002994798015943/home.html  

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