Type space functors and interpretations in positive logic.

Published in: Arch. Math. Log. (2023)

Keyphrases

positive and negative
search space
multiple types
database
machine learning
low dimensional
space time
modal logic
automated reasoning
predicate logic
neural network
search engine
logic programming
multi valued
logical framework