Abstract
This paper explores the implementation of intuitionistic logic in the domain-specific language Coq. In doing so, it provides a broad overview of formal logic, non-classical logics, and important concepts in intuitionistic logic. The paper also introduces the reader to Coq and to various tools that allow one to customize Coq's functioning.
Advisor
Guarnera, Drew
Department
Computer Science
Recommended Citation
Ullman, Corey, "An Exploration of Automated Reasoning and Intuitionistic Logic using Coq" (2022). Senior Independent Study Theses. Paper 10063.
https://openworks.wooster.edu/independentstudy/10063
Keywords
logic, intuitionism, coq
Publication Date
2022
Degree Granted
Bachelor of Arts
Document Type
Senior Independent Study Thesis
© Copyright 2022 Corey Ullman