A Proof-theoretical Analysis of Semiconstructive Intermediate Theories.
Mauro FerrariCamillo FiorentiniPublished in: Stud Logica (2003)
Keyphrases
- intermediate level
- theoretical analysis
- numerical simulations
- machine learning
- theoretical framework
- theorem prover
- classical first order logic
- theorem proving
- data sets
- mathematical proofs
- design theory
- formal models
- mathematical models
- database
- evolutionary algorithm
- cognitive psychology
- expert systems
- search algorithm
- data structure
- proof planning
- information systems
- geometry theorem proving