81. Alexander S. Kechris Caltech Foundations of mathematics, mathematical logic and set theory, interactions with analysis. http://www.math.caltech.edu/people/kechris.html

ALEXANDER S. KECHRIS Professor of Mathematics Ph.D., Mathematics, UCLA, 1972 Research Interests Foundations of mathematics; mathematical logic and set theory; their interactions with analysis and dynamical systems . Recent projects include the study of foundational and set theoretic questions, and the application of the methodology and results of descriptive set theory, in classical real analysis, harmonic analysis, dynamical systems (especially ergodic theory and topological dynamics), model theory, and infinite combinatorics. Selected Recent Publications (with H. Becker) The Descriptive Set Theory of Polish Group Actions , London Math. Soc. Lecture Note Series, , Cambridge University Press, 1996 (with G. Hjorth) Borel equivalence relations and classifications of countable models , Ann. Pure and Appl. Logic (with S. Solecki and S. Todorcevic) Borel chromatic numbers , Adv. in Math. (with G. Hjorth) Analytic equivalence relations and Ulm-type classifications , J. Symb. Logic (with A. Louveau) The classification of hypersmooth Borel equivalence relations , J. Amer. Math. Soc.

82. Logic Resources Based on the compilation of Boris Piwinger (mathematical logic Group at the University of Bonn). http://www-phil.tamu.edu/Philosophy/logic.html

Logic on the World Wide Web Interactive Logic Sites The Logic Daemon , written by our own Colin Allen Christian Gottschall's Gateway to Logic Academic Logic Programs USA California: Group in Logic at UC Berkeley Logic at UCLA Illinois: Logic at UIC (Chicago) Indiana: IU Logic Program Michigan: University of Michigan New Jersey: Rutgers University Pennsylvania: Carnegie Mellon University Pennsylvania State University Germany Aachen: Bonn: Mathematical Logic Group Freiburg: Heidelberg: Mathematical Logic UK Cambridge: Logic seminar Leeds: Mathematical Logic Group Manchester: Mathematical Logic British Logic Colloquium Elsewhere Belgium, Mons: Mathematical Logic at the University of Mons-Hainaut Czech Republic, Prague: Department of Logic at Charles University Finland, Helsinki: Logic Group France, Paris: Mathematical Logic Team of Universite Paris 7 Israel, Haifa: Logic in Israel Netherlands, Amsterdam: Institute for Logic, Language and Computation Netherlands, Utrecht: Seminar on Mathematical Logic Russia, Moscow: Department of Mathematical Logic Sweden, Uppsala: Mathematical Logic Logic Journals and Preprints Journals Nordic Journal of Philosophical Logic (NJPL) an international journal edited at the Department of Philosophy at the University of Oslo, Norway.

83. Department Of Mathematical Logic And Philosophy Of Mathematics Department of mathematical logic and Philosophy of Mathematics. Katedra matematicke logiky a filosofie matematiky MFF UK Malostranske http://www.ms.mff.cuni.cz/acad/kmlfm/

Department of Mathematical Logic and Philosophy of Mathematics Katedra matematicke logiky a filosofie matematiky MFF UK Malostranske namesti 25 Praha 1 Czech Republic Telephone: +42 2 2191 4250 (secretary) Fax: +42 2 532742 E-mail: kmlfm@mff.cuni.cz (secretary) People: Yvonne Bartakova RNDr. Karel Cuda, CSc. RNDr. Jiri Fiala, CSc. RNDr. Evzen Kindler, CSc. ... [School of Informatics Home Page] Modified on Thu Jan 9 11:44:06 MET 1997

84. Dipartimento Di Informatica - Università Di Torino Department of Informatics. Research groups concentrate on knowledge representation and reasoning, machine learning, natural language processing, databases and information systems, decision making models and management systems, informatic technology, linear programming, integer linear programming, game theory, logic programming and automated reasoning, mathematical logic, performance analysis, modelling in biology and medicine, cooperative systems, multidimensional signal processing, security and computer networks, semantics and logics of computation. http://www.di.unito.it/

U S TUDI DI T ORINO phone number Il Dipartimento di Informatica aderisce allo STATO DI AGITAZIONE Information HowToReachUs People ... University home Administrator: wwwadm[at]di.unito.it Last update: 29 Apr 2004

85. Reports On Mathematical Logic (Jagiellonian University Press) Contents and abstracts from no.25 (1991). http://www.uj.edu.pl/Phils/rml/rml.htm

86. Prof Jeff Paris Homepage, Department Of Mathematics, Univ. Of Manchester, UK University of Manchester mathematical logic, in particular uncertain reasoning. http://www.maths.man.ac.uk/mirror/www/hpage/jbp.htm

DEPARTMENT of MATHEMATICS Professor Jeff Paris Professor of Pure Mathematics Department of Mathematics University of Manchester Room: 15.09 Tel: + 44 (0)161 275 5880 Fax: +44 (0)161 275 5819 jeff@ma.man.ac.uk Research Interest Books Recent papers Journals ... Societies Research Interests Mathematical Logic, in particular uncertain reasoning with an emphasis on rationality and common sense principles. Also a reviving interest in weak arithmetics and low level complexity, in particular bounded induction and the Grzgorczyk Hierarchy. Publications Books: The uncertain reasoner's companion, - a mathematical perspective , Cambridge Tracts in Theoretical Computer Science 39, Cambridge University Press, 1994, pp212. Recent Papers: J.B. Paris (1997). A semantics for Fuzzy Logic. Journal of Soft Computing , vol.1, no.3, pp143-147. In defence of the Maximum Entropy Inference Process. International Journal of Approximate Reasoning , vol.17, no.1, pp77-103. J.B. Paris (With R. Booth) (1998). A note on the rational closure of knowledge bases with both positive and negative knowledge. Journal of Logic, Language and Information , vol.7, no.2, pp165-190.

87. AMIL A mathematical Introduction to logic. by Herbert B. Enderton. Send mail to the author hbe@math.ucla.edu. Second edition. A second http://www.math.ucla.edu/~hbe/amil/

A Mathematical Introduction to Logic by Herbert B. Enderton Send mail to the author: hbe@math.ucla.edu Second edition. A second edition was published in January 2001. The publisher is "Harcourt/Academic Press," but recently Harcourt has been separating itself from Academic Press. Click here to request an examination copy if you are in the USA or Canada. Outside North America, contact Harcourt International. Click here for the Table of Contents to the second edition. Click here to see the cover to the second edition, in pdf format. There is a review of the second edition, by Natasha Dobrinen, in The Bulletin of Symbolic Logic, vol. 9 no. 3, pp. 406-407, with some advice on using the book in a course. A Postscript file for the review is accessible from this link. The price of the book is $79.95. Click here to connect to the Academic Press catalog entry for the book. Click here for the Amazon.com listing for the book. Click here for the Amazon.co.uk listing for the book. Like the first edition, this textbook introduces the mathematics student to the concepts of "proof, truth, and computability." Major goals of the book include: The completeness theorem for first-order logic, which shows that the concept of provability (from axioms) can be completely nailed down.

88. Zhi-Wei Sun's Home Page Nanjing University. Number theory (especially combinatorial number theory); Combinatorics; Group theory; mathematical logic. Papers and lectures. http://pweb.nju.edu.cn/zwsun/

Initial day: July 31, 2001 Last modified: visits since April 10, 2002 ¡¡¡¡¡¡ ¡¡¡¡¡¡ ¡¡¡¡¡¡ ¡¡¡¡¡¡¡¡¡¡Prof. Dr. Zhi-Wei SUN ¡¡¡¡¡¡¡¡¡¡¡¡Department of Mathematics ¡¡¡¡¡¡¡¡¡¡¡¡Nanjing University ¡¡¡¡¡¡¡¡¡¡¡¡Nanjing 210093 ¡¡¡¡¡¡¡¡¡¡¡¡The People's Republic of China ¡¡¡¡¡¡¡¡¡¡¡¡E-mail: zwsun@nju.edu.cn ¡¡¡¡¡¡¡¡¡¡¡¡Telephone: 0086-25-83594840 ¡¡¡¡¡¡¡¡¡¡¡¡Office in the Dept.: 111A Family Name Sun Zhi Wei Date of Birth October 16, 1965 ¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡Nationality The People's Republic of China Research Interests Number Theory (especially Combinatorial Number Theory), ¡¡¡¡¡¡ Combinatorics, Group Theory, Mathematical Logic. Academic Service ¡¡¡¡¡¡ Reviewer for Mathematical Reviews ¡¡¡¡¡¡ Member of the American Mathematical Society ¡¡¡¡¡¡ Referee for J. Number Theory, Discrete Math., Fibonacci Quart., ¡¡¡¡¡¡¡¡ Publ. Math. Debrecen, Math. Slovaca, INTEGERS etc.

89. Modern Logic Home Page International Journal for the History of mathematical logic, Set Theory, and Foundations of Mathematics. http://www.ed.ac.uk/~pmilne/ml/home.html

M ODERN L OGIC A Journal for the History, Philosophy, Invention, and Pedagogy of Modern Logic, Set Theory, and the Foundations of Mathematics ISSN 1047-5982 Mathematical logic...is the modern form of logic developed in the last hundred years. - Rudolf Carnap (1954) This site covers Volumes 1 to 8 of Modern Logic Starting with Volume 9, the journal is to continue as The Review of Modern Logic Contents Description and goals Editorial Board of Modern Logic Subscription and publication information ... Contents issue by issue with abstracts Modern Logic is currently abstracted in Bibliograficheskikh Ukazatelyakh Current Mathematical Publications Historia Mathematica Mathematical Reviews Referativnyi Zhurnal - Matematika Referativnyi Zhurnal - Filosofiya i Sotsiologiya Zentralblatt fuer Mathematik and the MathSci online database, and has exchange agreements with From the Logical Point of View Logique et Analyse LLULL: Revista de la Sociedad Espanola de Historia des las Ciencas y de las Tecnicas Manuscrito Mathesis Revue d'Histoire des Mathematiques Russell Studia Logica and Synthesis Philosophica/Filozofska Istrazivanja Modern Logic home page Description and goals Editorial Board of ... Contents issue by issue with abstracts

90. BUBL LINK / 5:15 Internet Resources: Mathematical Logic Press Subjects mathematical logic DeweyClass 511.3 ResourceType journal Location uk Last checked 20001206 mathematical logic Around the World Links to http://bubl.ac.uk/link/m/mathematicallogic.htm

BUBL LINK / 5:15 Catalogue of Internet Resources Home Search Subject Menus A-Z ... About Mathematical logic A-Z Index Titles Descriptions Boole: Calculus of Logic Electronic Stacks Project Glossary of First-Order Logic Journal of Logic and Computation ... Research Groups in Logic and Theoretical Computer Science Page last updated: 17 March 2003 Comments: bubl@bubl.ac.uk Boole: Calculus of Logic An article by George Boole concerning propositional calculus, first published in Cambridge and Dublin Mathematical Journal Vol. III (1848). The article is available in HTML, LaTeX, DVI, and PostScript formats. Author: George Boole and David R Wilkins Subjects: calculus, mathematical logic DeweyClass: ResourceType: article Location: ireland, europe Last checked: Electronic Stacks Project Project aiming to establish a distributed, evolving and live electronic dictionary of logic, an interdisciplinary subject covering philosophy, mathematics, language, psychology, computer science and artificial intelligence. Author: King's College London Subjects: mathematical logic, philosophical logic

91. Links For "Logical Systems" mathematical logic Around the World. From the mathematical logic Group at the University of Bonn. Many helpful links. MathSearch. mathematical logic Group. http://www.earlham.edu/~peters/courses/logsys/lslinks.htm

Logical Systems Course-Related Links Peter Suber Philosophy Department Earlham College Since 1996 I've made link pages like this one for each of my courses. In the meantime, the size of the web and the power of search engines have both leaped forward. The growth of the web has made representative or comprehensive link pages more difficult to produce, and the improvement of search engines has made them less necessary. Link pages can still be very useful, but to make them more useful than the best search engines takes more work than they are usually worth. So I won't be updating this link page (from the previous iteration of the course) but I leave it online in case it has any remaining utility. When I know of specific web pages helpful for a class discussion, then I'll mail out the URLs to the class email list during the semester (and I encourage you to do the same). For general online research on the many topics of the course, I recommend Google Contents Texts Topics Software Journals ... Newsgroups The prerequisite for this course is either Symbolic Logic or an introductory programming course . For review, take a look at the online hand-outs I've collected at these two course home-pages.

92. Dana Scott's Home Page Carnegie Mellon University Model theory, set theory, foundations of logic and mathematics, symbolic mathematical computation. http://www.cs.cmu.edu/~scott/

Dana S. Scott Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic (Emeritus) Mailing Address: Prof. Dana S. Scott Office : N/A Computer Science Department Wean Hall Phone Carnegie Mellon University Pittsburgh, PA 15213-3890 , USA FAX : (412) 268-5576 (In CS Main Office) Home Address (Fall 2004): 401 Amberson Ave. Apt. 303 Phone Pittsburgh, PA, 15232, USA Secretary: Charlotte Yano (WeH 7121) Phone Travel: In California for Summer 2004 Personal: Career Highlights Ph.D. Students Current Research Teaching: E-MAIL: dana.scott@cs.cmu.edu yano@cs.cmu.edu Last revised: 24 May 2004

93. Logic Notation On The Web Both are capable of inserting images of complex mathematical equations into your web pages, and hence may be overkill if you only want a logic symbol here and http://www.earlham.edu/~peters/writing/logicsym.htm

Notes on Logic Notation on the Web Peter Suber Philosophy Department Earlham College This is a chart of the Adobe Symbol Font: Logicians should be satisfied if the characters with a yellow background are supported in HTML. (Symbols with a white background have long been supported by HTML or are not whole "characters".) This hope is now realized with HTML 4.0 . See Alan Wood's excellent guide to the symbols It's not enough that your personal browser support HTML 4.0. Your readers' browsers must do so as well. This day may be long in coming. Until then, you can get all the symbols in yellow above if you specify the Symbol font in an HTML tag. For example, this code produces this output p q Your reader must have the Symbol font installed, but this is assured for nearly all Windows users. The results are iffy for Mac and UNIX users. For a helpful table showing which codes produce which symbols, see Alan Wood's guide to the Symbol font Since most users can use one or both of the methods above, and get elegant, searchable text, it is no longer necessary to use GIFs or other image files for individual symbols. I plan to convert all my files from GIF symbols to Symbol font text symbols the next chance I get. (In the case of my logic course files, this means when I next teach the courses.) What follows is the version of this page I had online before HTML 4.0 was announced. I no longer support or update it, but I retain it here for the minority of users for whom the methods above will not work.

94. A. K. Peters, Ltd. -|- Book mathematical logic. This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. http://www.akpeters.com/book.asp?bID=148

95. Www.swetsnet.nl/direct/SB_issue?title=64262 MAMLSMidAtlantic mathematical logic Seminar. The Mid-Atlantic mathematical logic Seminar (MAMLS), a traveling conference meeting since http://www.swetsnet.nl/direct/SB_issue?title=64262

96. Mathematical Logic At The University Of Bonn mathematical logic Group. http://www.uni-bonn.de/logic/logic.html

Mathematical Logic Group Department of Mathematics Fachgruppe Mathematik/Informatik Mathematisch-Naturwissenschaftliche Fakultät University of Bonn Part of the Interdisciplinary Cooperation LOGiC in BOnN (LiB) Members Alumni Research ... Links (incl. our famous " Mathematical Logic around the world ") Informationen zum Studium der Mathematischen Logik in Bonn Contact Address: Mathematisches Institut Be4Zi27 (Office Hours Mon-Thu 9-14, Fri 9-12) D-53115 Bonn Germany Phone: Fax: + 49 - 228 - 73 -7916 (please label the fax clearly with the name of the intended recipient) Members ( Mitglieder und Angehörige Professors ( Hochschullehrer Prof. Dr. Peter Koepke koepke@math.uni-bonn.de ), Be4Zi44 Phone 73-2206; Office Hour: Wednesday 12:30-13:30 Scientific Staff ( Wissenschaftliche Mitarbeiter Dipl.-Math. Stefan Bold bold@math.uni-bonn.de ), Be4Zi42, Phone 73-6888; Office Hour: Wednesday 12:00-13:00 Prof. Dr. Vladimir Kanovei ( kanovei@math.uni-bonn.de ), Be6Zi35, Phone 73-3138 Dr. loewe@math.uni-bonn.de ), Be4Zi24, Phone 73-2928 Dr.

97. Recherche In Katalogen in German.......Almost complete bibliography of mathematical logic and related fields, goes back to Boole and Frege! Note Name search is casesensitive. http://www-logic.uni-kl.de/BIBL/

Bibliography of Mathematical Logic and Related Fields Heidelberger Akademie der Wissenschaften Author Title Classification Source ID Review IDN Year and or and not Author Title Classification Source ID Review IDN Year and or and not Author Title Classification Source ID Review IDN Year and or and not Author Title Classification Source ID Review IDN Year and or and not Author Classification Title Source ID Review IDN Year and or and not Author Title Classification Source ID Review IDN Year to and or and not Author Title Classification Source ID Review IDN Year to

98. Wilmers, George University of Manchester Applications of mathematical logic in the foundations of uncertain reasoning; natural prior probability distributions in uncertain reasoning. http://www.maths.man.ac.uk/mirror/www/hpage/gmw.htm

George Wilmers Department of Mathematics University of Manchester Manchester M13 9PL Email address: george@ma.man.ac.uk Telephone number: (+44) 161-275-5878 Fax number: (+44) 161-275-5819 Departmental Administration Postgraduate Senior Tutor Graduate Programme Director for Mathematical Logic Research Interests Applications of mathematical logic in the foundations of uncertain reasoning. Natural prior probability distributions in uncertain reasoning. Some Papers: On the Distribution of Natural Probability Functions (with J.B. Paris 1st International Symposium on Imprecise Probabilities, Ghent, Belgium. A natural prior probability distribution derived from the propositional calculus (with J.B. Paris Ann. Pure and Appl. Logic An axiomatic approach to systems of prior distributions in inexact reasoning (with J. Lawry In Springer lecture notes in Artificial Intelligence ,LNAI808, 13 pages. A note on probability versus truth-functionality (with J.B. Paris In proceedings of the 3rd workshop on uncertainty processing in expert systems. TREST, Czech Rep. 283-298.

99. History Of Mathematical Logic History of mathematical logic. Preprints. Contributions of the logicians The first part gives substantial commentary on the works http://www.thoralf.uwaterloo.ca/htdocs/history.html

History of Mathematical Logic Preprints Contributions of the Logicians The first part gives substantial commentary on the works of Whately, De Morgan, Boole and Jevons. The second part highlights contributions of Dedekind, Cantor, Frege, Schroeder, Peano, Zermelo, Loewenheim, Whitehead and Russell, Skolem, Hilbert and Ackermann, Herbrand, Goedel and Gentzen. My Book Review of A Boole Anthology [ PS ] [ DVI ] [ PDF ] The Laws of Boole's Thought. [ PS ] [ DVI ] [ PDF ] Gives a natural framework for recreating Boole's Algebra of Logic, based on ordinary algebra! A Fragment of Boole's Algebraic Logic Suitable for Traditional Syllogistic Logic. [ PS ] [ DVI ] [ PDF ] A tiny modification of Boole's translation of Particular Propositions makes Boole's system powerful enough to easily encompass the traditional Aristotelian simple inferences and syllogisms. Talks The Laws of Boole's Thought AMS (New Orleans, 2001) [ PS ] [ PDF ] (Same topic as Preprint 3 above.) Boole's Treatment of Particular Statements CMS, Toronto(2001) [ PS ] [ PDF ] (Same topic as Preprint 4 above.)

100. (Israel) Ben Gurion University Of The Negev mathematical and Computational logic Research Group. http://www.cs.bgu.ac.il/~kojman/BGULOGIC.html

BEN GURION UNIVERSITY OF THE NEGEV Mathematical and Computational Logic Research Group Workshop on Cardinal Arithmetic, March 23-29, 2004 The Shelah Festival, May 20-25 The mathematical and computational logic group at BGU conducts research in set theory, model theory, general topology, Boolean algebras and, in theoretical computer science, concurrency, logic programming and lambda calculus. Uri Abraham PhD: The Hebrew University at Jerusalem, 1979 Main Research Interests: set theory, forcing and preservation theorems. In computer science: concurrency, self stabilization. E-mail: abraham@cs.bgu.ac.il Evgenia Ackermann PhD: The Hebrew University at Jerusalem 1992 Main Research Interests: model theory, geometric model theory, algebraic geometry. E-mail: evgenia@cs.bgu.ac.il Michael Codish PhD: The Weizmann Institute of Science, 1991 Logic Programming - a programming paradigm based on the Horn subset of first order logic. Abstract Interpretation - A formal Semantics based technique to reason about program properties and runtime behaviours. Applications of Abstract Interpretation to Logic Programs.

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 5     81-100 of 127    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20