King's College London

Research portal

Cut elimination for systems of transparent truth with restricted initial sequents

Research output: Contribution to journalArticlepeer-review

Standard

Cut elimination for systems of transparent truth with restricted initial sequents. / Nicolai, Carlo.

In: Notre Dame Journal of Formal Logic, 03.05.2021.

Research output: Contribution to journalArticlepeer-review

Harvard

Nicolai, C 2021, 'Cut elimination for systems of transparent truth with restricted initial sequents', Notre Dame Journal of Formal Logic.

APA

Nicolai, C. (Accepted/In press). Cut elimination for systems of transparent truth with restricted initial sequents. Notre Dame Journal of Formal Logic.

Vancouver

Nicolai C. Cut elimination for systems of transparent truth with restricted initial sequents. Notre Dame Journal of Formal Logic. 2021 May 3.

Author

Nicolai, Carlo. / Cut elimination for systems of transparent truth with restricted initial sequents. In: Notre Dame Journal of Formal Logic. 2021.

Bibtex Download

@article{c67fa99336f046c4a36e61d3a69efd60,
title = "Cut elimination for systems of transparent truth with restricted initial sequents",
author = "Carlo Nicolai",
year = "2021",
month = may,
day = "3",
language = "English",
journal = "Notre Dame Journal of Formal Logic",
issn = "0029-4527",
publisher = "Duke University Press",

}

RIS (suitable for import to EndNote) Download

TY - JOUR

T1 - Cut elimination for systems of transparent truth with restricted initial sequents

AU - Nicolai, Carlo

PY - 2021/5/3

Y1 - 2021/5/3

M3 - Article

JO - Notre Dame Journal of Formal Logic

JF - Notre Dame Journal of Formal Logic

SN - 0029-4527

ER -

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454