Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.

Pablo Cobreros Elio La Rosa Luca Tranchini

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

Keyphrases

higher level
low level
lower level
propositional logic
high level
theorem prover
artificial intelligence
real time
digital libraries
inference process
linear logic
database
data sets
feature selection
image segmentation
theorem proving