21. Mathematical Logic Around The World mathematical logic around the world mathematical logic Group, Department of Mathematics, University of Bonn Department of Mathematics, University of Bonn mathematical logic Group Boris Piwinger http://rdre1.inktomi.com/click?u=http://www.uni-bonn.de/logic/world.html&y=0

22. Équipe De Logique Mathématique - CNRS UMR 7056 mathematical logic Team. http://www.logique.jussieu.fr/index-english.html

Back to the French page (UMR 7056) CNRS Head: delon_at_logique.jussieu.fr Deputy head: zoe_at_logique.jussieu.fr Secretary: Khadija Bayoud ( bayoud_at_logique.jussieu.fr ) office 5A51 at Chevaleret tel: 01 44 27 37 68 (from abroad: (33) 1 44 27 37 68) fax: 01 44 27 61 48 (from abroad: (33) 1 44 27 61 48) Beware: Our actual location is different from our postal address !! Postal address (for mail only) 2 place Jussieu 75251 Paris Cedex 05 France Actual location (offices, seminars and graduate courses) 175-179 rue du Chevaleret (5th floor , wing A) People Seminars E-prints Junior position in Logic Graduate program: , list of Doctoral Theses (ASL European Summer Meeting 2000, Paris) The 5th Colloquiumfest IHP, April 5 and 6, 2004 Links to some conferences Doctoral training in Logic (EST) MATHLOGAPS Logic in France. Angers: Laboratoire d' Caen: Algorithmique Caen: SDAD Chambery: LAMA Clermont-Ferrand: LLAIC (Laboratoire de Logique, Algorithmique et Informatique de Clermont I) Le Mans: Lyon I: IGD-logique (Institut Girard Desargues) Marseille-Luminy: Logique de la Programmation Paris 1 (La Sorbonne) : Institut d'Histoire et de Philosophie des Sciences et Techniques Paris 7 (Denis-Diderot), UFR d'Informatique:

23. Factasia Logic A wide range of writings relating to mathematical and philosophical logic. overview. applications. books on logic. combinatory logic. firstorder logic. history of logic. lambda calculus. logic http://www.rbjones.com/rbjpub/logic

Factasia Logic (for noframe browsers)

24. Peter Aczel University of Manchester Philosophy and foundations of mathematics and computing, mathematical logic, categorical logic. http://www.cs.man.ac.uk/~petera/

Peter Aczel: Departments of Mathematics and Computer Science Dept. Computer Science University of Manchester Manchester , M13 9PL, UK Phone : +44 0161 275 6155 Fax : +44 0161 275 6204 Email: petera@cs.man.ac.uk I am Professor of Mathematical Logic and Computing Science and hold a joint appointment in the departments of Computer Science and Mathematics at the University of Manchester. Research areas: My research interests include the following areas: Mathematical Tools for the Semantics of natural and formal languages Philosophy and Foundations of Mathematics and Computing Mathematical Models of Concurrent Processes Computer Assisted Development of formal proofs Mathematical Logic Categorical Logic and Dependent Type Theory Constructive Mathematics, especially constructive general topology Variants of Classical Axiomatic Set Theory such as theories of non-well-founded sets and constructive set theories. Research, Publications etc Teaching: 2003-2004 CS2121 The Implementation and Power of programming Languages MT4592/5592 Types for Programs and Proofs CS6121 Automated Reasoning The web page for the first course may be found at CS2121 web page The second course is run at both the 4th year undergraduate level and at the MSc level.

25. Mathematical Logic Around The World A service provided by the mathematical logic Group in Bonn http://www.uni-bonn.de/logic/world.html

Mathematical Logic around the world A service provided by the Mathematical Logic Group , University of Bonn, and the Institute for Logic , University of Vienna According to Google , this ist the most authoritative source for mathematical logic on the web. Please help building the logic network. Send us links and add a link on your page: <A HREF="http://www.uni-bonn.de/logic/world.html">Mathematical Logic around the world</A> Logic Preprints and Journals Logic Groups Germany USA UK Elsewhere ... Other Links (including other lists of (not only) mathematical logic) Logic Preprints and Journals Abstract Server for Mathematical Logic @ Los Alamos XXX Mathematics Archive AMS: MathSciNet Set Theory Preprint Sites (by author) CLE e-Prints (Centre for Logic, Epistemology and the History of Science at UNICAMP) Algebra and Logic Algebra Universalis Annals of Mathematics and Artificial Intelligence ... Postal addresses for logic journals Germany Aachen: Berlin: Bonn: Dresden: Freiburg: Heidelberg: Kiel: Leipzig: USA California: Stanford UC Berkeley UCLA Delaware: University of Delaware Florida: University of Florida Illinois: UI at Urbana-Champaign Indiana: Indiana University University of Notre Dame Michigan: University of Michigan Minnesota: University of Minnesota New Jersey: Rutgers University New York: City University of New York and logic in the New York area Ohio: Ohio State University Pennsylvania: Carnegie Mellon University Pennsylvania State University University of Pennsylvania (Logic and Computation Group) University of Pennsylvania (Logic, Information, and Computation Program)

26. International Olympiad In Mathematical Logic Competition of logic find statements values in random world of figures. http://olympiad.fe.uni-lj.si/Logika/

This document contains: Starting document Participating countries Competition in Slovenia Participating sponsors ... Contact information

27. Abstract Service For Mathematical Logic At The Institute For Logic At The Univer Abstract Service for mathematical logic at the Institute for logic at the University of Vienna. Abstract Service for mathematical logic v0.81. http://www.logic.univie.ac.at/abstract/

Abstract Service for Mathematical Logic v0.81 Institute for Logic at the University of Vienna As opposed to the former Logic Eprints server by William Mitchell , only abstracts will be collected. We assume you can provide the paper in full on your own server, and will of course offer a link to your location. Submit new abstracts here. Search for papers here. List all papers by author. New submissions by week ... Visit other sites of mathematical logic around the world If things don't work as they should be, do not hesitate to contact me (abstract@logic.univie.ac.at, the subject must be bug-report for abstract server , June 2, 2003

28. Archive For Mathematical Logic Archive for mathematical logic The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such http://rdre1.inktomi.com/click?u=http://link.springer.de/link/service/journals/0

29. Mathematical Reasoning Group Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports. http://dream.dai.ed.ac.uk/

MRG home page Research Publications Software ... People Mathematical Reasoning Group The Mathematical Reasoning Group is a distributed research group based in the Centre for Intelligent Systems and their Applications , a research institute within the School of Informatics at the University of Edinburgh . We are a community of informaticists with interests in theorem proving, program synthesis and artificial intelligence. There is a more detailed overview of the MRG and a list of people . You can also find out how to join the MRG Events including The weekly Dream talks CISA Seminars Informatics Seminars DReaMers reunion at IJCAI 05 Research including Proof Planning Proof Planning FAQ Program Synthesis Formalisation of Mathematics Data Mining Theory Formation Rippling FAQ Software including Lambda Clam XBarnacle Clam HOL-Clam ... Publications including Dream Publications Informatics Reports Links to relevant conferences, journals etc. Local links Activities and information Dream talks Informatics Colloquia Locally installed software Blue Book notes Trip Reports Local computing help ... Local system support Edinburgh University in the City and Scotland LFCS Edinburgh restaurant guide Local maps Administration and funding Current Grants Informatics Local School page research institutes staff directory meetings calendar ... Informatics Teaching Organisation . Science Research Links Our group has active contacts with a number of research networks and groups.

30. Minnesota, University Of mathematical logic. http://www.math.umn.edu/grad/areas/logic.html

Mathematical Logic, Constructive Mathematics, Set Theory, Recursion Theory math page grad page research page Karel Prikry prikry@math.umn.edu Professor , Ph.D. 1968 University of California Berkeley set theory, measure theory, boolean algebras Wayne Richter richter@math.umn.edu Associate Professor , Ph.D. 1963 Princeton University recursion theory, set theory Director of Graduate Studies in Mathematics ((612) 625-1306) 127 Vincent Hall, 206 Church Street S.E. Minneapolis, MN 55455 URL http://www.math.umn.edu/grad/areas/logic.html The University of Minnesota is an equal opportunity educator and employer.

31. Wiley InterScience :: Session Cookies http://www3.interscience.wiley.com/cgi-bin/jtoc?ID=60500242

32. INI Programme LAA - Research session at the Isaac Newton Institute for mathematical Sciences, Cambridge, UK; 16 January 7 July 2006. http://www.newton.cam.ac.uk/programmes/LAA/

@import url("/css/prog-non_n4.css"); Institute Home Page Programmes Web-Seminars Programme Home Seminars Workshops Additional Links Contacts Mailing List Isaac Newton Institute for Mathematical Sciences Logic and Algorithms 16 January - 7 July 2006 Organisers Dr A Dawar ( Cambridge ), Professor MY Vardi ( Rice Programme Theme Theoretical Computer Science is broadly divided into disciplines dealing with logic, semantics and formal methods on the one hand, and algorithmics and computational complexity on the other. The programme will focus on active areas of research that cut across this divide, dealing with algorithmic and complexity aspects of logic as well as logical methods in complexity. Among the areas of focus are Computer-Aided Verification: Specifically dealing with algorithms and structures for verifying properties of computing system and the logical, combinatorial and algebraic methods deployed in their study. Finite Model Theory: This draws on logic and combinatorial methods to study the expressive power of logical languages in the finite. Along with connections with complexity, the programme will explore applications in database theory, constraint satisfaction, proof complexity and process logics. Proof Complexity: At the interface of logic and complexity theory, the study of proof complexity, both in terms of lengths of proofs and complexity of inference steps, provides powerful methods for complexity lower bounds.

33. Mathematical Background Graphs and dyadic relations are mathematical structures that look different, but they and relations are associated with more abstract mathematics and logic. http://www.jfsowa.com/logic/math.htm

Mathematical Background by John F. Sowa This web page is a revised and extended version of Appendix A from the book Conceptual Structures by John F. Sowa. It presents a brief summary of the following topics for students and general readers of that book and related books such as Knowledge Representation and books on logic, linguistics, and computer science. Sets, Bags, and Sequences Functions Lambda Calculus Graphs ... References Note: Special symbols in this file that are outside the Latin-1 character set (ISO 8859-1) are represented by a .gif image for each character. The alt tag for each image gives the name of the character. Students who are just learning the symbols can move the mouse to any symbol to get a brief reminder of its name. 1. Sets, Bags, and Sequences Elementary or "naive" set theory is used to define basic mathematical structures. A set is an arbitrary collection of elements, which may be real or imaginary, physical or abstract. In mathematics, sets are usually composed of abstract things like numbers and points, but one can also talk about sets of apples, oranges, people, or canaries. In computer science, sets are composed of bits, bytes, pointers, and blocks of storage. In many applications, the elements are never defined, but are left as abstractions that could be represented in many different ways in the human brain, on a piece of paper, or in computer storage. Curly braces are used to enclose a set specification. For small, finite sets, the specification of a set can be an exhaustive list of all its elements:

34. Mathematical Logic At Notre Dame mathematical logic at Notre Dame. Faculty. in the Mathematics Department. Some recent mathematical logic Ph.D s. (With latest known job information). http://www.nd.edu/~steve/logic/

Mathematical Logic at Notre Dame Faculty in the Mathematics Department Steven Buechler Peter Cholak Julia F. Knight Sergei Starchenko in the Department of Philosophy Timothy Bays Patricia Blanchette Michael Detlefsen Logic Graduate Students (in the Department of Mathematics) (with field and advisor) Jacob Heidenreich model theory Buechler Rebecca Weber computability theory Cholak Wesley Calvert computability theory Knight Jacob Heidenreich is enrolled in a (unofficial) joint Mathematics and Philosophy Ph.D. program. This program is still in its infancy. Andrew Arana was the first Ph.D. graduate of this program. We are hoping this program will become official shortly. For more details contact Julia Knight and/or Michael Detlefsen. For the Philosophy graduate students see the Department of Philosophy home page Some recent mathematical logic Ph.D's (With latest known job information) Ambar Chowdhury, 1992, Buechler, working in business Leefong Low, 1992, Pillay, National Teaching University (Singapore) Zeljko Sokolovic, 1992, Pillay

35. Theory And Semantics Group Centred around mathematical models of a variety of languages and logics, using techniques such as structural operational semantics, linear logic, domain theory and category theory. Strong links with logic and Set Theory in the Pure Mathematics Department. http://www.cl.cam.ac.uk/Research/TSG/

Theory and Semantics Group University of Cambridge Computer Laboratory The work of the Theory and Semantics Group is centred around mathematical models of a variety of languages and logics. These models are intended to be used as a basis for specification and verification, and as a tool for clarifying programming concepts. We use techniques such as structural operational semantics, linear logic, domain theory and category theory. Work is in progress on the underlying mathematical structures of these, and on their application to the study of higher order typed programming languages such as Standard ML, to object-based languages, to foundational languages for concurrent, distributed and mobile computation, to hardware description languages, and to security problems. Work is also being undertaken on the analysis of programming languages in the setting of abstract interpretation and on practical optimising compilation for imperative and functional languages. Related research is undertaken within the Automated Reasoning Group . We also have links with the Logic Seminar at DPMMS (Dept of Pure Mathematics and Mathematical Statistics).

36. J.A. Makowsky, Home Page The Technion mathematical logic and its interaction with computer science, database theory, finite model theory, and descriptive complexity. http://www.cs.technion.ac.il/~janos/index.html

Picture Johann (Janos) A. Makowsky Professor Faculty of Computer Science (May 2000 Evaluation committee) Technion - Israel Institute of Technology Haifa 32000, Israel Tel: +972-4-8294358 (Office) e-mail: janos@cs.technion.ac.il Home: 3 Ein Gedi, Haifa 34529 Office: Technion, Taub Building 628 Reception Hours: Sunday 15:30-17:30 or by appointment via e-mail. Research Interests Mathematical Logic and its interaction with Computer Science See also Logic at the Technion and Logic in Israel and Logic Journals Database Theory See also Databases in Israel Finite Model Theory and Descriptive Complexity See also Finite Model Theory Homepage Recent papers and preprints (in Logic and its applications in CS, and Complexity) including papers of my collaborators. Participation at International Conferences, Workshops and Summerschools Recently published German Prose: Eine haarige Geschichty (Hairy tale) ps-file pdf-file Hungarian family history and Family-tree and Family-album of the Deutsch family. Manifesto on emancipatory aspects of doing mathematics.

37. Home The Department of mathematical logic is responsible for several courses in Mathematics and Computer Science. Department of mathematical logic and Applications. http://www.fmi.uni-sofia.bg/fmi/logic/

Department of Mathematical Logic and Applications Home Members Bachelor Courses Master of Science Programs ... Resources The Department was founded in 1972 as a subdivision of the United Center of Mathematics and Mechanics. (More information can be found in D. Skordev's ) Since 1989 the Department has been a part of the Faculty of Mathematics and Computer Science, The members of the Department are specialists in the areas of Computability Theory, Theoretical Computer Science, Modal and Non-Classical Logic, Constructive Mathematics. The Department is responsible for several courses in the curriculum of the Bachelor Programs in Mathematics and Computer Science. The Department is responsible also for the in “Logic and Algorithms” in the Faculty. You can see of all current and former postgraduate students in our Department. Research seminars: The Logic Colloquium and Research Seminar in Mathematical Logic Professor I. Soskov

38. Logicville Educational puzzles, brain teasers, mathematical recreations and word games. A resource for anagrams, cryptograms, alphametics, word puzzles, logic problems, doublets, tangrams, chess, and math quizzes. http://www.logicville.com/

L O G I C V I L L E List of Puzzles Cryptogram Quiz Bookstore Puzzle Categories ... Word Puzzles, Mathematical Recreations, Anagrams, Cryptograms, Doublets, Tangrams, Cryptarithms, Chess, and many more... Press control-D to bookmark this web site. Puzzle of the Week EASTER EGGS Alice, Bob, Cathy and Dan went to Easter egg hunt. They found red, orange, yellow and green colored eggs. Among the eggs they found, the number of red eggs were twice the number of green eggs. The yellow eggs were two more than the red eggs. The orange eggs were three more than the green eggs. Alice found as many eggs as Bob did. Cathy found three eggs more than Alice did. Dan found four eggs more than Bob did. Cathy, whose favorite color is red gathered only red colored eggs. None of the other kids gathered red colored eggs. Answer the following: 1) How many red eggs did they found? 2) How many orange eggs did they found? 3) How many yellow eggs did they found?

39. TUD : ACTUAL RESEARCH REPORT - Group 1. Algebra And Logic - Mathematical Logic A Group 1. Algebra and logic mathematical logic and Foundations of Computer Science. Algebra and logic - mathematical logic and Foundations of Computer Science. http://www.tu-darmstadt.de/forschung/bericht/040100.en.tud

ACTUAL RESEARCH REPORT Group 1. Algebra and Logic - Mathematical Logic and Foundations of Computer Science Foreword by the President Tips for users Departments of the TUD Collaborative research centers ... Research homepage Full text search: Quick search in research report Advanced search in research report Advanced search in bibliography Contact: Arbeitsgruppe 1, Fachbereich Mathematik, Technische Universität Schlossgartenstraße 7 64289 Darmstadt Tel.: +49-6151-16-4686 Fax: +49-6151-16-3317 Building/Room: S2 15 / 206 E-mail: Internet: www.mathematik.tu-darmstadt.de/ags/ag1/Sekretariat/sekretariat_de.html Description of the Institute: Algebra and Logic - Mathematical Logic and Foundations of Computer Science Faculty: Klaus Keimel Ulrich Kohlenbach Martin Otto Thomas Streicher ... Thomas Ihringer Retired: Peter Burmeister Rudolf Wille The research group primarily represents the subject area of Mathematical Logic viewed as an applied foundational discipline between mathematics and computer science . Research activities focus on the application of proof theoretic, recursion theoretic, category theoretic, algebraic and model theoretic methods from mathematical logic to mathematics and computer science. Beside classical mathematical logic (with proof theory, recursion theory and model theory) this involves constructive type theory, categorical logic, universal algebra, domain theory, lattice theory, finite model theory, and algorithmic issues.

40. Infinitary Logic Infinitary logic is a branch of formal logic where finitary formulae are replaced by potentially infinitary mathematical entities. By John L. Bell. http://plato.stanford.edu/entries/logic-infinitary/

version history HOW TO CITE THIS ENTRY Stanford Encyclopedia of Philosophy A B C D ... Z This document uses XHTML-1/Unicode to format the display. Older browsers and/or operating systems may not display the formatting correctly. last substantive content change APR Infinitary Logic sets makes it no longer necessary to regard formulas as inscriptions, and suggests the possibility of fashioning "languages" some of whose formulas would be naturally identified as infinite sets . A "language" of this kind is called an infinitary language : in this article I discuss those infinitary languages which can be obtained in a straightforward manner from first-order languages by allowing conjunctions, disjunctions and, possibly, quantifier sequences, to be of infinite length. In the course of the discussion it will be seen that, while the expressive power of such languages far exceeds that of their finitary (first-order) counterparts, very few of them possess the "attractive" features (e.g., compactness and completeness) of the latter. Accordingly, the infinitary languages that do in fact possess these features merit special attention. compactness problem second-order nature and are

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 2     21-40 of 127    Back | 1  | 2  | 3  | 4  | 5  | 6  | 7  | Next 20