Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation.
Jonas BayerAlexey GonusChristoph BenzmüllerDana S. ScottPublished in: CICM (2023)
Keyphrases
- theorem prover
- natural deduction
- theoretical framework
- logical theories
- formal methods
- theoretical basis
- logical framework
- theorem proving
- first order logic
- logical properties
- meta reasoning
- decision theory
- meta level
- inference rules
- general theory
- mathematical theory
- logical structure
- formal theory
- logical representation
- real time