Formulas for which contraction is admissible

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)43-48
Number of pages6
JournalLogic Journal of the IGPL
Volume6
Issue number1
DOIs
StatePublished - 1998

Cite this