SIMPLE GENTZENIZATIONS FOR THE NORMAL FORMULAS OF CONTRACTION-LESS LOGICS

Authors
BRADY RT
Citation
Rt. Brady, SIMPLE GENTZENIZATIONS FOR THE NORMAL FORMULAS OF CONTRACTION-LESS LOGICS, The Journal of symbolic logic, 61(4), 1996, pp. 1321-1346
Citations number
7
Categorie Soggetti
Mathematics, Pure",Mathematics
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
61
Issue
4
Year of publication
1996
Pages
1321 - 1346
Database
ISI
SICI code
0022-4812(1996)61:4<1321:SGFTNF>2.0.ZU;2-S