Curlie

Logic and Foundations

This category is about mathematical logic and foundations of mathematics. (So it roughly corresponds to category 03-XX in the 1991 Mathematical Sciences Classification.) Major related subjects outside mathematics are computer science at one end, and philosophical logic at the other. If you are looking for basic, non-technical information on logic, you may want to look at the subcategories Encylopedia Articles and Educational Resources. If you think your site or one that you have come across fits here: please submit it. If not sure give it to us anyway ... we will do our best to find where it belongs.

Format for listings in this category should be:

Title: Last Name, First Name
Description: Institutional Affiliation - research interests.

Computability

Dealing with what is possible to compute and in what bounds. Covering simple linear problems up to NP-Hard problems.

Computational Logic

Computational logic consists of those approaches to general logic in which insights from the theory of computation play an essential part, for example in decision problems in logic, effective semantics of logic, computationally effective frameworks for proofs theory and theorem proving.

Directories

This category lists sites that link to lots of logic sites. While an attempt is made by the editor to make it link to all logic directories that don't link to themselves, it is a well-known fact that any such attempt must fail.

Education

This category is for those sites on mathematical logic (and related topics) that are of interest to the general public rather than to professional mathematicians.

Game Semantics

Anything that relates to games in logic, or logic in games.

Knowledge Representation and Planning

Anything that relates to logic-based knowledge representation systems, knowledge base systems, systems for planning and action.

Meetings

Meetings, conferences and symposia related to mathematical logic.

Most entries in this category are transferred from the category Conferences above it. Submissions should contain some ''added value'' such as papers, abstracts, photographs, etc.

Nonstandard Logics and Extensions

Include sites that cover the topic of Fuzzy Logic. This is sometimes compared to using percentages, but is a bit different.Application of this type of logic is used for artificial intelligence and smart appliances.

Organizations

Professional organizations for people working in the field of mathematical logic.

People

Websites of active academic logicians.

Format for listings in this category should be:

Title: Last Name, First Name
Description: Institutional Affiliation - research interests.

Publications

This category is for web sites which contain material complementing printed books, for example with software, tables or errata. Online texts are also welcome. Please do not submit pages which merely announce or advertise books. Please submit publishers'' sites to Science/Math/Publications/Book_Publishers.

Research Groups and Centers

Most research activities will either occur in academic departments or in research institutes (which may either be in universities or external). Both of these are included in this category.

Please submit your site to the most appropriate category. Submitting to an incorrect category may delay review of your site.
Please submit only websites that have English language content to this category. If your site is in a language other than English, please submit it to the appropriate category of World.

Software

Logic-related software: Software implement "logic(s)" explicitly. This category includes e.g. automated reasoning systems, theorem provers, self-study software, and their "add-in"s. Both non-commercial and commercial software will be listed.

All submissions are welcome.