King's College London

Research portal

Cut elimination for systems of transparent truth with restricted initial sequents

Research output: Contribution to journalArticlepeer-review

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


  • 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

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