References

  1. Richard Bornat & Bernard Sufrin (1996): Jape's quiet interface. User Interfaces for Theorem Provers UITP'98.
  2. M. D'Agostino, D.M. Gabbay, R. Hähnle & J. Posegga (1999): Handbook of Tableau Methods. Springer Netherlands, doi:10.1007/978-94-017-1754-0.
  3. Dirk van Dalen (2013): Logic and Structure (5th Ed.). Springer London, London, doi:10.1007/978-1-4471-4558-5.
  4. Melvin Fitting (1996): First-Order Logic and Automated Theorem Proving (2nd Ed.). Springer-Verlag, Berlin, Heidelberg, doi:10.1007/978-1-4612-2360-3.
  5. Asta Halkjær From, Frederik Krogsdal Jacobsen & Jørgen Villadsen (2022): SeCaV: A Sequent Calculus Verifier in Isabelle/HOL. In: Mauricio Ayala-Rincon & Eduardo Bonelli: Proceedings 16th Logical and Semantic Frameworks with Applications, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021, Electronic Proceedings in Theoretical Computer Science 357. Open Publishing Association, pp. 38–55, doi:10.4204/EPTCS.357.4.
  6. Olivier Gasquet, François Schwarzentruber & Martin Strecker (2011): Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students. In: Patrick Blackburn, Hans van Ditmarsch, María Manzano & Fernando Soler-Toscano: Tools for Teaching Logic. Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 85–92, doi:10.1007/978-3-642-21350-2_11.
  7. Gerhard Gentzen (1969): The collected papers. North-Holland Publishing Company, doi:10.2307/2272429.
  8. Michael Huth & Mark Ryan (2004): Logic in Computer Science: Modelling and Reasoning about Systems (2nd Ed.). Cambridge University Press, doi:10.1017/CBO9780511810275.
  9. Graham Leach-Krouse (2018): Carnap: An Open Framework for Formal Reasoning in the Browser. In: Pedro Quaresma & Walther Neuper: Proceedings 6th International Workshop on Theorem proving components for Educational software, Gothenburg, Sweden, 6 Aug 2017, Electronic Proceedings in Theoretical Computer Science 267. Open Publishing Association, pp. 70–88, doi:10.4204/EPTCS.267.5.
  10. Hendriks Maxim, Cezary Kaliszyk, Femke van Raamsdonk & Freek Wiedijk (2010): Teaching logic using a state-of-art proof assistant. Acta Didactica Napocensia 3. Available at https://files.eric.ed.gov/fulltext/EJ1056118.pdf.
  11. F.S.C. da Silva, M. Finger & A.C.V. de Melo (2006): Lógica para computação. Cengage Learning. Available at https://books.google.com.br/books?id=w27uOgAACAAJ.
  12. R.M. Smullyan (1995): First-order Logic. Dover books on advanced mathematics. Dover, doi:10.1007/978-3-642-86718-7.
  13. J.N. de Souza (2008): Logica Para Ciencia da Computação. Campus SBC. Elsevier. Available at https://books.google.com.br/books?id=Y8GEsUoRKiEC.
  14. D. R. Vasconcelos, R. Paula & M. V. Menezes (2022): NADIA - Natural DeductIon proof Assistant. In: Anais do XXX Workshop sobre Educação em Computação. SBC, Porto Alegre, RS, Brasil, pp. 427–438, doi:10.5753/wei.2022.222875.
  15. Jørgen Villadsen, Andreas Halkjær From & Anders Schlichtkrull (2018): Natural Deduction and the Isabelle Proof Assistant. In: Pedro Quaresma & Walther Neuper: Proceedings 6th International Workshop on Theorem proving components for Educational software, Gothenburg, Sweden, 6 Aug 2017, Electronic Proceedings in Theoretical Computer Science 267. Open Publishing Association, pp. 140–155, doi:10.4204/EPTCS.267.9.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org