First order linear logic and tensor type calculus for categorial grammars.

Published in: CoRR (2021)

Keyphrases

linear logic
sequent calculus
cut elimination
proof search
higher order
fixed point
proof theoretic
logical framework
intuitionistic logic
natural deduction
type checking
grammar induction
high order
first order logic
natural language
inference rules
desirable properties
logic programming
machine learning