scientific article; zbMATH DE number 1406013
From MaRDI portal
Publication:4939014
Recommendations
- scientific article; zbMATH DE number 1689859
- Pomset logic. The other approach to noncommutativity in logic
- Labelled proof nets for the syntax and semantics of natural languages
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- Lambek's syntactic calculus and noncommutative variants of linear logic: laws and proof-nets
Cited in
(11)- Proof nets and the complexity of processing center embedded constructions
- Parsing pregroup grammars and Lambek calculus using partial composition
- scientific article; zbMATH DE number 1689859 (Why is no real title available?)
- Dutch Grammar and Processing: A Case Study in TLG
- The logic of tune. A proof-theoretic analysis of intonation
- A linear logic treatment of phrase structure grammars for unbounded dependencies
- Constructing different phonological bracketings from a proof net
- Labelled proof nets for the syntax and semantics of natural languages
- Pomset logic. The other approach to noncommutativity in logic
- scientific article; zbMATH DE number 2211805 (Why is no real title available?)
- Proof-nets, hybrid logics and minimalist representations
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 Q4939014)
