Proof Nets for Lambek Calculus

DOI10.1093/LOGCOM/2.2.211MaRDI QIDQ4013256zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

algorithms for automatic theorem provinglinear logicnon-commutative Lambek calculusnonlinear proof representationparallelismproof nets as data structures

Mathematics Subject Classification ID

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

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

Cited in

(23)

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