Deducibility in the full Lambek calculus with weakening is HAck-complete.

Vitor Greati Revantha Ramanayake

Published in: CoRR (2024)

Keyphrases

provably correct
user interface
data sets
neural network
real world
information systems
decision making
knowledge base
image processing
multi agent
classification accuracy
computer algebra