A LUKASIEWICZ-STYLE REFUTATION SYSTEM FOR THE MODAL LOGIC S4

Authors
Citation
T. Skura, A LUKASIEWICZ-STYLE REFUTATION SYSTEM FOR THE MODAL LOGIC S4, Journal of philosophical logic, 24(6), 1995, pp. 573-582
Citations number
7
Categorie Soggetti
Philosophy
ISSN journal
00223611
Volume
24
Issue
6
Year of publication
1995
Pages
573 - 582
Database
ISI
SICI code
0022-3611(1995)24:6<573:ALRSFT>2.0.ZU;2-P