INTERDEFINABILITY OF LAMBEKIAN FUNCTORS

DOI10.1002/MALQ.19920380145zbMath0794.03041OpenAlexW2107075135MaRDI QIDQ4295248

Wojciech Zielonka

Publication date: 28 August 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19920380145

zbMATH Keywords

categorial grammarsdefinability of functorsGentzen-style syntactic type calculiLambek syntactic type calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65)

Related Items (1)

Tree models and (labeled) categorial grammar

This page was built for publication: INTERDEFINABILITY OF LAMBEKIAN FUNCTORS