An addendum to my paper: "A categorical equivalence of proofs".
Manfred E. SzaboPublished in: Notre Dame J. Formal Log. (1976)
Keyphrases
- categorical data
- theorem proving
- formal proofs
- theorem prover
- equational theories
- natural deduction
- interactive dynamic influence diagrams
- real time
- mathematical proofs
- formal proof
- numerical data
- attribute values
- data mining
- data sets
- hidden markov models
- datalog programs
- multiscale
- database systems
- information systems
- social networks