scientific article; zbMATH DE number 1324432

zbMATH Open0920.03017MaRDI QIDQ4255503FDOQ4255503

Authors James Harland, David Pym

Publication date 16 August 1999

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic programming (68N17) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Recommendations

• Proofs as computations in linear logic
• Logic programming in a fragment of intuitionistic linear logic
• Logic Programming with Focusing Proofs in Linear Logic

Cited in

(9)

• Forward and backward chaining in linear logic. (Extended abstract)
• Logic programming with sequent systems: a linear logic approach
• Logic programming in a fragment of intuitionistic linear logic
• A syntax for linear logic
• Proof strategies in linear logic
• scientific article; zbMATH DE number 3902027 (Why is no real title available?)
• Semantic data modelling using linear logic
• On proof normalization in linear logic
• scientific article; zbMATH DE number 1761419 (Why is no real title available?)

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 Q4255503)