Directory of Computational Logic Resources

Home > Science > Math > Logic and Foundations > 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.

Subcategories

• Automated Reasoning
• Combinatory Logic and Lambda Calculus
• Logical Frameworks

 

Home > Science > Math > Logic and Foundations > Computational Logic

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us