A Type Theory for Defining Logics and Proofs.
Brigitte PientkaDavid ThibodeauAndreas AbelFrancisco FerreiraRébecca ZucchiniPublished in: CoRR (2019)
Keyphrases
- theoretical framework
- theoretical basis
- computational model
- proof theory
- case study
- expressive power
- modal logic
- neural network
- decision procedures
- general theory
- information theory
- mathematical proofs
- equational theories
- formal proofs
- theorem prover
- inference rules
- computational models
- website
- search engine
- information retrieval