Category Theory in Isabelle/HOL as a Basis for Meta-logical Investigation.
Jonas BayerAleksey GonusChristoph BenzmüllerDana S. ScottPublished in: CoRR (2023)
Keyphrases
- theorem prover
- natural deduction
- theoretical framework
- formal methods
- neural network
- theorem proving
- general theory
- logical framework
- decision theory
- data mining
- higher order logic
- theoretical foundation
- starting point
- case study
- first order logic
- theoretical basis
- computational model
- higher order
- expert systems
- multi agent
- formal theory
- category specific
- logical properties
- genetic algorithm
- logical theories