FUNCTIONAL COMPLETENESS FOR SUBSYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC

Authors
WANSING H
Citation
H. Wansing, FUNCTIONAL COMPLETENESS FOR SUBSYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC, Journal of philosophical logic, 22(3), 1993, pp. 303-321
Citations number
14
Categorie Soggetti
Philosophy
Journal title
Journal of philosophical logic → ACNP
ISSN journal
00223611
Volume
22
Issue
3
Year of publication
1993
Pages
303 - 321
Database
ISI
SICI code
0022-3611(1993)22:3<303:FCFSOI>2.0.ZU;2-6