scientific article; zbMATH DE number 1341541

From MaRDI portal

Publication:4263083

Jump to:navigation, search

zbMath0934.03039MaRDI QIDQ4263083

Nissim Francez

Publication date: 25 April 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Lambek calculus unification natural language categorial grammar hypothetical reasoning feature logic arrow-introduction rules concatenation logic dual-fibring syntactic categorial types

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4263083&oldid=18169296"