Computer science 惠誉格式校样-有相关资源吗？

我目前正在研究惠誉格式的一阶逻辑证明。我的讲师Jon Barwise紧随其后

我试图做一些证明，但我在理解如何做这些证明时遇到了一些困难。由于我已经阅读了语言证明和逻辑所提供的内容，我想知道是否有其他书籍或资源使用惠誉格式进行正式证明

另外，解决练习会有很大的帮助

---

谢谢

我很有信心，LPL的确切惠誉格式是LPL独有的。一般的概念来自惠誉自己，尽管它可能对您没有多大帮助

---

尽管我认为你最好的办法是问你的老师特定的问题，或者和一群同学一起工作。

Klement的逻辑证明检查器与forallx教科书一起在网上提供。关于请求：

我想知道是否有其他书籍或资源使用惠誉格式进行正式校样

有了这两种资源，人们应该能够使用惠誉式的自然演绎系统学习真值函数和一阶逻辑。它们还将补充人们目前使用的任何文本

---

参考文献

Kevin Klement的JavaScript/PHP Fitch风格的自然演绎证明编辑器和检查器

---

p.D.Magnus、Tim Button和J.Robert Loftis的新增内容由Aaron Thomas Bolduc、Richard Zach混合和修订，forallx Calgary混合：正式逻辑导论，2018年冬季

很高兴知道。我认为这是做一阶逻辑证明的通用格式。难怪我在其他的FOL书中找不到它的参考文献。谢谢