scientific article; zbMATH DE number 757643

MaRDI QIDQ4833775zbMATHFDO

Authors Dirk Roorda

Publication date 23 May 1995

zbMATH Keywords

completenessLambek calculusembedding theoremcanonical modelfinite model propertycategorial grammardyadic modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Recommendations

• Dialectica categories for the Lambek calculus
• Lambek calculus and its relational semantics: Completeness and incompleteness
• De Morgan interpretation of the Lambek-Grishin calculus
• Language-theoretic and finite relation models for the (full) Lambek calculus

Cited in

(4)

• Simulating polyadic modal logics by monadic ones
• De Morgan interpretation of the Lambek-Grishin calculus
• Multimodality in the Hypergraph Lambek Calculus
• Dialectica categories for the Lambek calculus

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 Q4833775)