scientific article; zbMATH DE number 5219616
From MaRDI portal
Publication:5431598
zbMath1137.03300MaRDI QIDQ5431598
No author found.
Publication date: 11 December 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Logic of natural languages (03B65) Linguistics (91F20) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (14)
Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs ⋮ \(\mathrm{NL}_\lambda\) as the logic of scope and movement ⋮ Complexity of the universal theory of residuated ordered groupoids ⋮ On Classical Nonassociative Lambek Calculus ⋮ Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity ⋮ S4 enriched multimodal categorial grammars are context-free: Corrigendum ⋮ Type logics and pregroups ⋮ Pregroup grammars with letter promotions: complexity and context-freeness ⋮ A note on logicality of generalized quantifiers ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ DE MORGAN INTERPRETATION OF THE LAMBEK–GRISHIN CALCULUS ⋮ UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS ⋮ Extensions of Lambek Calculi ⋮ Non-associative, non-commutative multi-modal linear logic
This page was built for publication:
