On Involutive Nonassociative Lambek Calculus.

Wojciech Buszkowski

Published in: J. Log. Lang. Inf. (2019)

Keyphrases

computer algebra
data sets
lower order
neural network
evolutionary algorithm
relational calculus
provably correct
databases
data mining
machine learning
learning algorithm
temporal reasoning
formal language
automated deduction
natural deduction
algebraic structure