惠誉格式校样-周围有资源吗？

Question

我目前正在学习惠誉格式的一阶逻辑证明。我的讲师密切关注Jon Barwise的Language, Proof and Logic。

我正在尝试做一些证明，但我在理解如何做这些证明时遇到了一些困难。由于我已经阅读了Language Proof and Logic提供的内容，我想知道周围是否有其他书籍或资源使用惠誉格式进行正式证明。

此外，已经解决了练习将是伟大的(！)帮助。

谢谢

Answer 1

我相当确信，LPL的确切Fitch格式是LPL独一无二的。通用的Fitch-style proof概念来自于惠誉本人，尽管它可能对您没有多大帮助。

这里是answers to selected exercises，尽管我认为你最好的选择是问你的老师一些具体的问题，或者和一群同学一起工作。

Answer 2

Klement的校验器与forallx的逻辑教科书一起在网上提供。关于请求：

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

有了这两个资源，人们应该能够使用惠誉风格的自然演绎系统来学习真理、函数式和一阶逻辑。它们还将为当前使用的任何文本提供补充。

参考文献

Kevin Klement的JavaScript/PHP惠誉风格的自然演绎证明编辑器和检查器http://proofs.openlogicproject.org/

P. D. Magnus，Tim Button与J. Robert Loftis的补充由Aaron Thomas-Bolduc，Richard Zach重新混合和修订，forallx Calgary Remix: An Introduction to Formal，2018年冬季。http://forallx.openlogicproject.org/