References

  1. Mark van Atten (2020): Luitzen Egbertus Jan Brouwer. In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy, Spring 2020 edition. Metaphysics Research Lab, Stanford University.
  2. David A. Basin, Seán Matthews & Luca Viganò (1998): Labelled Modal Logics: Quantifiers. Journal of Logic, Language and Information 7(3), pp. 237–263, doi:10.1023/A:1008278803780.
  3. Stefan Berghofer & Makarius Wenzel (2008): Logic-Free Reasoning in Isabelle/Isar. In: Serge Autexier, John A. Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki & Freek Wiedijk: Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings, Lecture Notes in Computer Science 5144. Springer, pp. 355–369, doi:10.1007/978-3-540-85110-3_31.
  4. F. Miguel Dionísio, Paula Gouveia & João Marcos (2005): Defining and using deductive systems with Isabelle. Computing, Philosophy, and Cognition, pp. 271–293.
  5. Michael Dummett (1975): The philosophical basis of intuitionistic logic. In: Studies in Logic and the Foundations of Mathematics 80. Elsevier, pp. 5–40.
  6. Michael Dummett (2000): Elements of intuitionism. Oxford University Press.
  7. Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull & Jørgen Villadsen (2019): Teaching a Formalized Logical Calculus. In: Pedro Quaresma, Walther Neuper & João Marcos: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019, EPTCS 313, pp. 73–92, doi:10.4204/EPTCS.313.5.
  8. Asta Halkjær From, Jørgen Villadsen & Patrick Blackburn (2020): Isabelle/HOL as a Meta-Language for Teaching Logic. In: Pedro Quaresma, Walther Neuper & João Marcos: Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020, EPTCS 328, pp. 18–34, doi:10.4204/EPTCS.328.2.
  9. Asta Halkj\IeCæ r From (2021): Soundness and Completeness of an Axiomatic System for First-Order Logic. Archive of Formal Proofs. https://isa-afp.org/entries/FOL_Axiomatic.html, Formal proof development.
  10. Rosalie Iemhoff (2020): Intuitionism in the Philosophy of Mathematics. In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy, Fall 2020 edition. Metaphysics Research Lab, Stanford University.
  11. Joan Moschovakis (2021): Intuitionistic Logic. In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy, Fall 2021 edition. Metaphysics Research Lab, Stanford University.
  12. Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel (2002): Isabelle/HOL — A Proof Assistant for Higher-Order Logic. Lecture Notes in Computer Science 2283. Springer, doi:10.1007/3-540-45949-9.
  13. Lawrence C. Paulson (1989): The Foundation of a Generic Theorem Prover. J. Autom. Reason. 5(3), pp. 363–397, doi:10.1007/BF00248324.
  14. Anders Schlichtkrull, Jørgen Villadsen & Andreas Halkjær From (2018): Students' Proof Assistant (SPA). In: Pedro Quaresma & Walther Neuper: Proceedings 7th International Workshop on Theorem proving components for Educational software, THedu@FLoC 2018, Oxford, United Kingdom, 18 july 2018, EPTCS 290, pp. 1–13, doi:10.4204/EPTCS.290.1.
  15. Jørgen Villadsen, Andreas Halkjær From & Anders Schlichtkrull (2017): Natural Deduction and the Isabelle Proof Assistant. In: Pedro Quaresma & Walther Neuper: Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017, EPTCS 267, pp. 140–155, doi:10.4204/EPTCS.267.9.
  16. Jørgen Villadsen, Anders Schlichtkrull & Andreas Halkjær From (2018): A Verified Simple Prover for First-Order Logic. In: Boris Konev, Josef Urban & Philipp Rümmer: Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning (PAAR 2018) co-located with Federated Logic Conference 2018 (FLoC 2018), Oxford, UK, 19 July 2018, CEUR Workshop Proceedings 2162. CEUR-WS.org, pp. 88–104. Available at http://ceur-ws.org/Vol-2162/paper-08.pdf.
  17. Makarius Wenzel, Lawrence C. Paulson & Tobias Nipkow (2008): The Isabelle Framework. In: Otmane Aït Mohamed, César A. Muñoz & Sofiène Tahar: Theorem Proving in Higher Order Logics, 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings, Lecture Notes in Computer Science 5170. Springer, pp. 33–38, doi:10.1007/978-3-540-71067-7_7.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org