Andrzej Indrzejczak

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 14

Top Topics

Cut Elimination

Sequent Calculi

Proof Theoretic

Top Venues

Rev. Symb. Log.

Bull. Symb. Log.

Publications

Andrzej Indrzejczak
Russellian Definite Description Theory - a Proof Theoretic Approach. Rev. Symb. Log. 16 (2) (2023)
Andrzej Indrzejczak, Yaroslav I. Petrukhin
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus. CADE (2023)
Andrzej Indrzejczak
Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators. TABLEAUX (2023)
Andrzej Indrzejczak, Nils Kürbis
A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions. TABLEAUX (2023)
Andrzej Indrzejczak
Bisequent Calculus for Four-Valued Quasi-Relevant Logics: Cut Elimination and Interpolation. J. Autom. Reason. 67 (4) (2023)
Andrzej Indrzejczak
Leśniewski's Ontology - Proof-Theoretic Characterization. IJCAR (2022)
Andrzej Indrzejczak
Free Logics are Cut-Free. Stud Logica 109 (4) (2021)
Andrzej Indrzejczak, Michal Zawidzki
Tableaux for Free Logics with Descriptions. CoRR (2021)
Andrzej Indrzejczak, Michal Zawidzki
Tableaux for Free Logics with Descriptions. TABLEAUX (2021)
Andrzej Indrzejczak
Existence, Definedness and Definite Descriptions in Hybrid Modal Logic. AiML (2020)
Andrzej Indrzejczak
Two Is Enough - Bisequent Calculus for S5. FroCos (2019)
Andrzej Indrzejczak
Cut Elimination in Hypersequent Calculus for some Logics of linear Time. Rev. Symb. Log. 12 (4) (2019)
Andrzej Indrzejczak
Cut-Free Modal Theory of Definite Descriptions. Advances in Modal Logic (2018)
Andrzej Indrzejczak
Linear Time in Hypersequent Framework. Bull. Symb. Log. 22 (1) (2016)
Andrzej Indrzejczak
Eliminability of cut in hypersequent calculi for some modal logics of linear frames. Inf. Process. Lett. 115 (2) (2015)
Andrzej Indrzejczak
A Survey of Nonstandard Sequent Calculi. Stud Logica 102 (6) (2014)
Andrzej Indrzejczak
Introduction. Stud Logica 102 (6) (2014)
Andrzej Indrzejczak
Possible Worlds in Use. Stud Logica 99 (1-3) (2011)
Andrzej Indrzejczak
A Labelled Natural Deduction System for Linear Temporal Logic. Stud Logica 75 (3) (2003)
Andrzej Indrzejczak
Cut-free Double Sequent Calculus for S5. Log. J. IGPL 6 (3) (1998)