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.

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

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.

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.

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.

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

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

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.

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.

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

Websites of active academic logicians.

Format for listings in this category should be:

*Title:* Last Name, First Name

*Description:* Institutional Affiliation - research interests.

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.

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.

Please submit only websites that have

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.