scientific article

From MaRDI portal

Publication:2939543

Jump to:navigation, search

zbMath1320.03062MaRDI QIDQ2939543

Congjun Yao, Chongli Zou

Publication date: 22 January 2015

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

zbMATH Keywords

Lambek calculus hybrid categorical type logics

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:2939543&oldid=15926061"