On Structuring Proof Search for First Order Linear Logic

Paola Bruscoli, Alessio Guglielmi

Full first order linear logic can be presented as an abstract logic programming language in Miller's system Forum, which yields a sensible operational interpretation in the 'proof…