Tampere University of Technology

TUTCRIS Research Portal

Deduction theorem in monoidal logic

Research output: Contribution to journalArticleScientificpeer-review

Details

Original languageEnglish
Pages (from-to)63-66
JournalJournal of the Calcutta Mathematical Society
Volume3
Issue number1&2
Publication statusPublished - 2007
Publication typeA1 Journal article-refereed

Publication forum classification