Year: 2025
Type: article
Abstract: The paper “Tautology elimination, cut elimination, and S5” published in this journal presents a novel method for establishing by proof analysis the admissibility of the rule of tautology elimination for certain sequent calculi. Since tautology elimination will typically imply the admissibility of cut, the method promises a new path to show the admissibility of cut for cut-free calculi on which the standard techniques within structural proof theory seem inapplicable. This paper shows that the method as presented involves an error.
Source: Logic and Logical Philosophy
Author: Andreas Fjellstad
Institution: University of Padua
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
Funder: European Commission
OpenAlex ID: W4417144894
FWCI:
Cites:
Cited by:
Related to: