Reduction Free Normalisation for a proof irrelevant type of propositions.

Thierry Coquand

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

machine learning
data structure
relational databases
reduction method
artificial intelligence
e learning
knowledge base
similarity measure
objective function
rough sets
text classification
theorem prover
multiple types