scientific article; zbMATH DE number 1324432

zbMATH Open0920.03017MaRDI QIDQ4255503FDOQ4255503

Authors: James Harland, David Pym 

Publication date: 16 August 1999

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (9)

• Forward and backward chaining in linear logic. (Extended abstract)
• Proof strategies in linear logic
• Logic programming with sequent systems: a linear logic approach
• A syntax for linear logic
• Logic programming in a fragment of intuitionistic linear logic
• On proof normalization in linear logic
• Semantic data modelling using linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)

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)