scientific article; zbMATH DE number 1418441

MaRDI QIDQ4941996zbMATH OpenFDO

Authors J. Lambek

Publication date 7 November 2000

zbMATH Keywords

anthropologyapplications of the calculus of binary relationscategorial grammarcategoriesconnecting homomorphismcousinhood in the Trobriandscyclic linear logicexactnesshomological algebrakinshiplinguisticsmodels of bilinear logicpartial recursive functionsrecursively enumerable binary relationssurveysyntactic calculus

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other applications of logic (03B80) Recursive functions and relations, subrecursive hierarchies (03D20) Other classical set theory (including functions, relations, and set algebra) (03E20) Homological algebra in category theory, derived categories and functors (18G99) Grammars and rewriting systems (68Q42) Mathematical sociology (including anthropology) (91D99)

Recommendations

• scientific article; zbMATH DE number 1735906
• Binary relations. Addenda. 1: Kernel, restrictions and inducing, relational morphisms
• Relations: concrete, abstract, and applied. An introduction
• Relations in operational categories
• On the positive calculus of relations with transitive closure

Cited in

(1)

• scientific article; zbMATH DE number 1735906 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4941996)