Normalisation and subformula property for a system of classical logic with Tarski’s rule
Crossref DOI link: https://doi.org/10.1007/s00153-021-00775-6
Published Online: 2021-05-31
Published Print: 2022-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kürbis, Nils http://orcid.org/0000-0002-3651-5458
Text and Data Mining valid from 2021-05-31
Version of Record valid from 2021-05-31
Article History
Received: 23 March 2020
Accepted: 15 May 2021
First Online: 31 May 2021