Proof Net Editor

  title={Proof Net Editor},
  author={Tasnim Hamza},
Linear logic (LL) [9], [10](see Appendix A, B) is the logical foundation of some typetheoretic languages and also of environments for specification and theorem proving. In this paper, we consider the Multiplicative fragment of Linear Logic (MLL) from an automated deduction point of view. We propose an automated deduction (Automatic Proof Nets Construction… CONTINUE READING