Andrzej Indrzejczak

Gentzen and Temporal Sequents

2024 · Studies in Logic Grammar and Rhetoric

Abstract The paper presents a comparison of two generalised sequent calculi for temporal logics. In both cases the main technical solution is the multiplication of the sorts of sequents and, additionally, the application of some …

Cut Elimination for Negative Free Logics with Definite Descriptions

2025 · Lecture notes in computer science

Abstract We present a sequent calculus GNFL for negative free logic with definite descriptions in the classical and intuitionistic versions, with empty and nonempty domains. It is shown constructively that GNFL satisfies the cut elimination …