Deduction Theorem in Monoidal Logic

Personal tools