King's College London

Research portal

Cut elimination for systems of transparent truth with restricted initial sequents

Research output: Contribution to journal › Article › peer-review

Carlo Nicolai

Original languageEnglish
JournalNotre Dame Journal of Formal Logic
Accepted/In press3 May 2021

Documents

  • TCEIS_Final

    TCEIS_Final.pdf, 236 KB, application/pdf

    Uploaded date:18 Jun 2021

King's Authors

Download statistics

No data available

View graph of relations

By the same authors

With some of the same researchers

From the same journal

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