Home  Pure_And_Applied_Math  Categorical Algebra And Logic 
Page 1 120 of 56 1  2  3  Next 20 
1. Categorical Logic Lambek, J. and Scott, P. Introduction to HigherOrder categorical logic. Borceux, F. Handbook of categorical algebra (Encyclopedia of Mathematics and http://www.andrew.cmu.edu/~awodey/catlog/  

2. George Voutsadakis nClosure Systems and nClosure Operators, algebra Universalis, 55 (2006), 369386 pdf; categorical Abstract algebraic logic Leibniz Equality and http://voutsadakis.com/RESEARCH/papers.html  

3. Review Saunders Mac Lane, Categorical Algebra And SetTheoretic Review Saunders Mac Lane, categorical algebra and SetTheoretic Foundations. William Mitchell. Source J. Symbolic logic Volume 38, Issue 3 (1973), 528. http://projecteuclid.org/handle/euclid.jsl/1183738793  

4. Universal Algebra And Logic Abstract algebra and logic are closely related and often mutually .. talks is to propose and study an order theoretic and categorical framework for the http://www.math.vanderbilt.edu/~ual/semi.html 
5. Categorical Logic  Pitts (ResearchIndex) categorical logic. In Handbook of Theoretical Computer Science. Elsevier Science, 199? to . 1 the unity of algebra and logic (context) Lambek  1988 http://citeseer.ist.psu.edu/pitts01categorical.html 
6. Chronological List Of Publications categorical algebra for continuum microphysics, Journal of Pure and Applied algebra 175, (2002), 267287. 45. Metric Spaces, Generalized logic, http://www.buffalo.edu/~wlawvere/list.html  

7. Applied Categorical Structures  Mathematical Logic And Foundations Journals, Bo Applied categorical Structures. A Journal Devoted to Applications of categorical Methods in algebra, Analysis, Order, Topology and Computer Science http://www.springer.com/west/home/math?SGWID=41004270355429840 
8. BIBLIOGRAPHY About DESCENT And CATEGORY THEORY! \ 1348 \yr 1988; \bysame \book Handbook of categorical algebra 1 Basic . G. Reyes \book First Order categorical logic ModelTheoretical Methods in http://north.ecc.edu/alsani/catbib.html  

9. The Category Theoretic Understanding Of Universal Algebra Conf. on categorical algebra at La Jolla (1966), 336344. 2 Barr, M. and Wells, C., 32 Makkai, M. and Reyes, G., FirstOrder categorical logic. http://portal.acm.org/citation.cfm?id=1230590 
10. IngentaConnect Categorical Abstract Algebraic Logic: Algebraizable Institutions categorical Abstract algebraic logic algebraizable Institutions are made precise using the theory of monads from categorical algebra and the notion of http://www.ingentaconnect.com/content/klu/apcs/2002/00000010/00000006/05090913  

11. PUT Libary March 2007 Borceux, Francis, Handbook of categorical algebra Vol. 1 Basic Category Theory Jacobs, Bart, categorical logic and Type Theory (paperback), 2001, Uwe http://www.ii.uib.no/~wolter/put/putlibrary.html  

12. TUD : ACTUAL RESEARCH REPORT  Group 1. Algebra And Logic  Mathematical Logic A algebra and logic Mathematical logic and Foundations of Computer Science categorical logic, universal algebra, domain theory, lattice theory, http://www.tudarmstadt.de/forschung/bericht/040100.en.tud  

13. JSTOR Categorical Algebra And SetTheoretic Foundations. categorical algebra and SetTheoretic Foundations. William Mitchell. The Journal of Symbolic logic, Vol. 38, No. 3, 528. Dec., 1973. SAUNDERS MAC LANE. http://links.jstor.org/sici?sici=00224812(197312)38:3<528:CAASF>2.0.CO;2B 
14. Citebase  From Proof Nets To The Free *Autonomous Category In Aldo Ursini and Paolo Agliano, editors, logic and algebra. Introduction to higher order categorical logic, volume 7 of Cambridge studies in advanced http://www.citebase.org/abstract?identifier=oai:arXiv.org:cs/0605054&action=cite 
15. COMPUTER SIMULATION AND COMPUTABILITY OF BIOLOGICAL SYSTEMS  Cogprints random networks and Boolean algebra; Lukasiewics logic algebra isomporphic . categorical algebraLa Jolla. 1965, Eilenberg, S., et al. eds., Berlin, http://cogprints.org/3718/  

16. Hidden Algebra Shows how to combine the logic and object paradigms using hidden algebra with . A categorical Manifesto, in Mathematical Structures in Computer Science, http://www.cs.ucsd.edu/~goguen/projs/halg.html  

17. Publications, Lecture Notes Etc.  Thomas Streicher Allgemeine algebra für Informatiker und Wirtschaftsinformatiker (in German Category Theory and categorical logic pdf.gz. lecture notes for courses in http://www.mathematik.tudarmstadt.de/~streicher/  

18. CATEGORICAL STRUCTURES AND THEIR APPLICATIONS The book contains applications of categorical methods in various branches of mathematics such as algebra, analysis, logic and topology, as well as fuzzy http://www.worldscibooks.com/mathematics/5665.html  

19. Algebra I Logika Complexity of categorical Theories with Computable Models English version algebra and logic, 2004, 436, 365373 Review databases http://www.mathnet.ru/eng/al101  

20. Curriculum Vitae Courses taught Abstract algebra, Introduction to Mathematical logic. . A categorical equivalence for integral GMValgebras, Workshop on algebra and http://www.jaist.ac.jp/~galatos/CV.html  

Page 1 120 of 56 1  2  3  Next 20 