United Kingdom Europe Institutions Logic and Foundations
United Kingdom Europe Institutions Logic and Foundations
United Kingdom
Research groups in Logic and the Foundations of Mathematics in the UK.
Top: Science: Math: Logic and Foundations: Institutions: Europe: United Kingdom
- Department of Computing and Mathematics, Logic and Computation Group. Research projects: Proof Methods for Non-Classical Logics; Temporal and Modal Logics; Programming Language Design; Agent-Based Systems. Members, research interests, bibliography.
- Logic and Semantics group. People, projects and research.
- Department of Mathematics, Logic Group. Research interests: model theory, uncertain reasoning and logical aspects of AI, variants of classical set theory and their applications, and formalisation in theory and practice. Members, courses.
- Department of Computer Science, Computational Logic group. Members, events, publications, collaborators.
- Mathematical Institute, Mathematical Logic group. Members, seminars. Home of the Model Theoretic Exchange.
- Mathematical Logic Group. Research areas: recursion theory, model theory, set theory and foundations, proof theory, and in applications to algebra, analysis and theoretical computer science. Members, events, seminars.
| | | | | | |
Copyright © 1995-2008 Internet Advertising Solutions, Inc.
Copyright Notice | Privacy Policy | Site Map | APR
|
 |
|