scientific article; zbMATH DE number 847946

zbMATH Open0845.03001MaRDI QIDQ4866992FDOQ4866992

Authors: Yde Venema 

Publication date: 3 September 1996

Title of this publication is not available (Why is that?)

Recommendations

• Reconciling Lambek's restriction, cut-elimination and substitution in the presence of exponential modalities
• On Lambek's restriction in the presence of exponential modalities
• Logical Aspects of Computational Linguistics
• Lambek calculus with restricted contraction and expansion
• Versions of a local contraction subexponential in the Lambek calculus

zbMATH Keywords

embeddingsalgebraic semanticscut-eliminationassociative Lambek calculus of syntactic typesrule of restricted permutationsubalgebra semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (1)

• Syntactic cut-elimination for a fragment of the modal mu-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 Q4866992)