A Note on the Use of Sum in the Logic of Proofs

TitleA Note on the Use of Sum in the Logic of Proofs
Publication TypeConference Paper
Year of Publication2009
AuthorsKuznets, R
EditorDrossos, C, Peppas, P, Tsinakis, C
Conference NameProceedings of the 7th Panhellenic Logic Symposium
Pagination99-103
PublisherPatras University Press
Conference LocationPatras University, Greece
URLhttp://www.iam.unibe.ch/ltgpub/2009/kuz09b.pdf