Full Lambek Calculus with Contraction is Undecidable.

Karel Chvalovský Rostislav Horcík

Published in: J. Symb. Log. (2016)

Keyphrases

sufficient conditions
np complete
belief change
computer algebra
belief revision
automated deduction
genetic algorithm
natural deduction
provably correct
real time
artificial intelligence
bayesian networks
formal language