Correction regarding 'Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule'

Abstract

This note corrects an error in my paper 'Normalisation and Subformula Property for a System of Classical Logic with Tarski's Rule' (Archive for Mathematical Logic 61 (2022): 105-129, DOI 10.1007/s00153-021-00775-6): Theorem 2 is mistaken, and so is a corollary drawn from it as well as a corollary that was concluded by the same mistake. Luckily this does not affect the main result of the paper.

Author's Profile

Nils Kürbis
Ruhr-Universität Bochum

Analytics

Added to PP
2023-05-02

Downloads
81 (#86,316)

6 months
47 (#75,047)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?