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.
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.
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.
F. Miguel Dionísio, Paula Gouveia & João Marcos (2005):
Defining and using deductive systems with Isabelle.
Computing, Philosophy, and Cognition,
pp. 271–293.
Michael Dummett (1975):
The philosophical basis of intuitionistic logic.
In: Studies in Logic and the Foundations of Mathematics 80.
Elsevier,
pp. 5–40.
Michael Dummett (2000):
Elements of intuitionism.
Oxford University Press.
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.
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.
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.
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.
Joan Moschovakis (2021):
Intuitionistic Logic.
In: Edward N. Zalta: The Stanford Encyclopedia of Philosophy,
Fall 2021 edition.
Metaphysics Research Lab, Stanford University.
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.
Lawrence C. Paulson (1989):
The Foundation of a Generic Theorem Prover.
J. Autom. Reason. 5(3),
pp. 363–397,
doi:10.1007/BF00248324.
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.
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.
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.
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.