Publication:2762867

zbMath0976.03011MaRDI QIDQ2762867

Marcelo Finger

Publication date: 13 January 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2014/20140011

Mathematics Subject Classification ID

03B65: Logic of natural languages

03B35: Mechanization of proofs and logical operations

68T50: Natural language processing

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)