Deduction Theorem in Monoidal Logic

From Mathfuzzlog
Jump to: navigation, search
Authors:
Esko Turunen
Title: Deduction Theorem in Monoidal Logi
Journal: Journal of the Calcutta Mathematical Society
Volume 3
Number
Pages: 63 - 66
Year: 2007