A DOUBLE DEDUCTION SYSTEM FOR QUANTUM LOGIC-BASED ON NATURAL DEDUCTION

Authors
DELMASRIGOUTSOS Y
Citation
Y. Delmasrigoutsos, A DOUBLE DEDUCTION SYSTEM FOR QUANTUM LOGIC-BASED ON NATURAL DEDUCTION, Journal of philosophical logic, 26(1), 1997, pp. 57-67
Citations number
5
Categorie Soggetti
Philosophy
Journal title
Journal of philosophical logic → ACNP
ISSN journal
00223611
Volume
26
Issue
1
Year of publication
1997
Pages
57 - 67
Database
ISI
SICI code
0022-3611(1997)26:1<57:ADDSFQ>2.0.ZU;2-X