Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here  present and intrinsic (geometrical) characterization of proof nets, that is a correctness criterion (an algorithm) for checking those proof structures which correspond to proofs of the purely multiplicative and additive fragment of linear logic. This criterion is formulated in terms of simple graph rewriting rules and it extends an initial idea of a retraction correctness criterion for proof nets of the purely multiplicative fragment of linear logic presented by Danos in his Thesis in 1990.
['Roberto Maieli']
I am writing a research paper on a idea Retractile proof nets of the purely multiplicative and additive fragment of linear logic
[{"from": "human", "value": "I am writing a research paper on a idea Retractile proof nets of the purely multiplicative and additive fragment of linear logic"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here  present and intrinsic (geometrical) characterization of proof nets, that is a correctness criterion (an algorithm) for checking those proof structures which correspond to proofs of the purely multiplicative and additive fragment of linear logic. This criterion is formulated in terms of simple graph rewriting rules and it extends an initial idea of a retraction correctness criterion for proof nets of the purely multiplicative fragment of linear logic presented by Danos in his Thesis in 1990."}]