Sign in
Making first order linear logic a generating grammar.
Sergey Slavnov
Published in:
Log. Methods Comput. Sci. (2023)
Keyphrases
</>
linear logic
fixed point
higher order
logic programming
first order logic
context free
sequent calculus
natural language
desirable properties
logical framework
cut elimination
intuitionistic logic
knowledge representation
proof theoretic
machine learning
proof search