Andrzej Indrzejczak

30 papers A 3B 5Journal 16Unranked 4
YearRankTypeTitle / Venue / Authors
2025 A conf
Cut Elimination for Negative Free Logics with Definite Descriptions.
CADE
Andrzej Indrzejczak
2025 — conf
On Temporal References via Definite Descriptions in First-Order Monadic Logic of Order.
JELIA (2)
Andrzej Indrzejczak, Przemyslaw Andrzej Walega, Michal Zawidzki
2024 J jnl
A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions.
CoRR
Andrzej Indrzejczak, Nils Kürbis
2024 — conf
Bisequent Calculi for Neutral Free Logic with Definite Descriptions.
ARQNL@IJCAR
Andrzej Indrzejczak, Yaroslav I. Petrukhin
2024 J jnl
Bisequent Calculi for Neutral Free Logic with Definite Descriptions.
CoRR
Andrzej Indrzejczak, Yaroslav I. Petrukhin
2024 J jnl
Definite Descriptions and Hybrid Tense Logic.
CoRR
Andrzej Indrzejczak, Michal Zawidzki
2024 — ed.
Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications, NCL 2024, Łódź, Poland, 5-8 September 2024.
NCL
Andrzej Indrzejczak, Michal Zawidzki
2024 J jnl
Uniform Cut-free Bisequent Calculi for Three-valued Logics.
CoRR
Andrzej Indrzejczak, Yaroslav I. Petrukhin
2024 — conf
When Epsilon meets Lambda: Extended Leśniewski's Ontology.
ARQNL@IJCAR
Andrzej Indrzejczak
2023 B conf
A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions.
TABLEAUX
Andrzej Indrzejczak, Nils Kürbis
2023 A conf
A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.
CADE
Andrzej Indrzejczak, Yaroslav I. Petrukhin
2023 J jnl
Bisequent Calculus for Four-Valued Quasi-Relevant Logics: Cut Elimination and Interpolation.
J. Autom. Reason.
Andrzej Indrzejczak
2023 J jnl
Russellian Definite Description Theory - a Proof Theoretic Approach.
Rev. Symb. Log.
Andrzej Indrzejczak
2023 B conf
Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators.
TABLEAUX
Andrzej Indrzejczak
2022 A conf
Leśniewski's Ontology - Proof-Theoretic Characterization.
IJCAR
Andrzej Indrzejczak
2022 — ed.
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022.
NCL
Andrzej Indrzejczak, Michal Zawidzki
2021 J jnl
Free Logics are Cut-Free.
Stud Logica
Andrzej Indrzejczak
2021 B conf
Tableaux for Free Logics with Descriptions.
TABLEAUX
Andrzej Indrzejczak, Michal Zawidzki
2021 J jnl
Tableaux for Free Logics with Descriptions.
CoRR
Andrzej Indrzejczak, Michal Zawidzki
2020 B conf
Existence, Definedness and Definite Descriptions in Hybrid Modal Logic.
AiML
Andrzej Indrzejczak
2019 J jnl
Cut Elimination in Hypersequent Calculus for some Logics of linear Time.
Rev. Symb. Log.
Andrzej Indrzejczak
2019 — conf
Two Is Enough - Bisequent Calculus for S5.
FroCos
Andrzej Indrzejczak
2018 B conf
Cut-Free Modal Theory of Definite Descriptions.
Advances in Modal Logic
Andrzej Indrzejczak
2016 J jnl
Linear Time in Hypersequent Framework.
Bull. Symb. Log.
Andrzej Indrzejczak
2015 J jnl
Eliminability of cut in hypersequent calculi for some modal logics of linear frames.
Inf. Process. Lett.
Andrzej Indrzejczak
2014 J jnl
A Survey of Nonstandard Sequent Calculi.
Stud Logica
Andrzej Indrzejczak
2014 J jnl
Introduction.
Stud Logica
Andrzej Indrzejczak
2011 J jnl
Possible Worlds in Use.
Stud Logica
Andrzej Indrzejczak
2003 J jnl
A Labelled Natural Deduction System for Linear Temporal Logic.
Stud Logica
Andrzej Indrzejczak
1998 J jnl
Cut-free Double Sequent Calculus for S5.
Log. J. IGPL
Andrzej Indrzejczak