Directory of LF Logical Framework Resources

Home > Science > Math > Logic and Foundations > Computational Logic > Logical Frameworks > LF Logical Framework

The Edinburgh Logical Framework is, with De Bruijn's AUTOMATH, one of the two most influential implemented proof representation systems in existence.

Resources in This Category

• Logic Programming in the LF Logical Framework (1991)

  http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.40.3910
  Article by Frank Pfennig describing a logic programming language which serves as a proof search engine for LF.

 

Home > Science > Math > Logic and Foundations > Computational Logic > Logical Frameworks > LF Logical Framework

 

---

 

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