A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi.

Wojciech Zielonka

Published in: Stud Logica (1989)

Keyphrases

significant improvement
combinatorial optimization
dynamic programming
detection method
preprocessing
experimental evaluation
computational complexity
high accuracy
simulated annealing
edge detection
special case
pairwise
probabilistic model
synthetic data
search methods
solving problems
quadratic programming