Linear axiomatics of commutative product-free Lambek calculus.

Wojciech Zielonka

Published in: Stud Logica (1990)

Keyphrases

closed form
real time
life cycle
neural network
optimal solution
real world
case study
reinforcement learning
objective function
special case
design process
linear systems
simple linear
product quality