INDEXED SYSTEMS OF SEQUENTS AND CUT-ELIMINATION + MODAL LOGIC

Authors
MINTS G
Citation
G. Mints, INDEXED SYSTEMS OF SEQUENTS AND CUT-ELIMINATION + MODAL LOGIC, Journal of philosophical logic, 26(6), 1997, pp. 671-696
Citations number
16
Categorie Soggetti
Philosophy
Journal title
Journal of philosophical logic → ACNP
ISSN journal
00223611
Volume
26
Issue
6
Year of publication
1997
Pages
671 - 696
Database
ISI
SICI code
0022-3611(1997)26:6<671:ISOSAC>2.0.ZU;2-B