Copy For Citation
Gnanavel S., Orri M., Mohammed M., Dray J., Baroud E., Kato H., ...More
LANCET PSYCHIATRY, vol.7, no.9, pp.735, 2020 (SCI-Expanded)
-
Publication Type:
Article / Letter
-
Volume:
7
Issue:
9
-
Publication Date:
2020
-
Doi Number:
10.1016/s2215-0366(20)30314-x
-
Journal Name:
LANCET PSYCHIATRY
-
Journal Indexes:
Science Citation Index Expanded (SCI-EXPANDED), Social Sciences Citation Index (SSCI), Scopus, EMBASE, MEDLINE, Psycinfo
-
Page Numbers:
pp.735
-
Erciyes University Affiliated:
Yes
Abstract
Proof systems for the Relativized Propositional Calculus are defined and
compared.