Proof Nets for Lambek Calculus

DOI10.1093/LOGCOM/2.2.211zbMATH Open0768.03035OpenAlexW2060132857MaRDI QIDQ4013256FDOQ4013256

Authors: Dirk Roorda 

Publication date: 27 September 1992

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/2.2.211

Recommendations

• scientific article; zbMATH DE number 1231698
• LC graphs for the Lambek calculus with product
• An application of proof-nets to the study of fragments of the Lambek calculus
• Proof nets for the multimodal Lambek calculus
• Lambek's syntactic calculus and noncommutative variants of linear logic: laws and proof-nets

zbMATH Keywords

linear logicparallelismalgorithms for automatic theorem provingnon-commutative Lambek calculusnonlinear proof representationproof nets as data structures

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Cited In (22)

• A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
• Interpolation in fragments of classical linear logic
• Title not available (Why is that?)
• Bracket induction for Lambek calculus with bracket modalities
• A graph-theoretic approach to sequent derivability in the Lambek calculus
• Proof nets for the multimodal Lambek calculus
• Lambek's syntactic calculus and noncommutative variants of linear logic: laws and proof-nets
• LC graphs for the Lambek calculus with product
• Cyclic multiplicative proof nets of linear logic with an application to language parsing
• Proof Nets for Classical Logic
• Proof nets for multiplicative cyclic linear logic and Lambek calculus
• Proving theorems of the second order Lambek calculus in polynomial time
• Title not available (Why is that?)
• A proof of the focusing theorem via MALL proof nets
• Normalization by evaluation for the lambek calculus
• A new correctness criterion for the proof nets of non-commutative multiplicative linear logics
• Title not available (Why is that?)
• Pomset logic. The other approach to noncommutativity in logic
• Lambek Calculus in Natural Deduction
• Title not available (Why is that?)
• Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus
• General parameterised refinement and recursion for the M-net calculus

This page was built for publication: Proof Nets for Lambek Calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4013256)