What is the Meaning of Proofs?

Published in: J. Philos. Log. (2021)

Keyphrases

natural language
theorem proving
theorem prover
semantic interpretation
formal proofs
data mining
genetic algorithm
artificial intelligence
similarity measure
multiscale
artificial neural networks
meaning making
formal proof