From proof-nets to bordisms: the geometric meaning of multiplicative connectives.

Published in: Math. Struct. Comput. Sci. (2005)

Keyphrases

geometry theorem proving
theorem proving
natural language
databases
inference rules
geometric constraints
geometric structure
geometric information
sequent calculus
search algorithm
theorem prover
objective function
image processing
evolutionary algorithm
neural network
linear logic
database