Resolution calculus for the first order linear logic

This publication has 4 references indexed in Scilit:

• Logic programming in a fragment of intuitionistic linear logic
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Uniform proofs as a foundation for logic programming
  Annals of Pure and Applied Logic, 1991
• Gentzen-type systems and resolution rules part I propositional logic
  Lecture Notes in Computer Science, 1990
• Linear logic
  Theoretical Computer Science, 1987