Andrzej Indrzejczak

Available identifiers

zbMath Open indrzejczak.andrzejMaRDI QIDQ477583

List of research outcomes

Publication	Date of Publication	Type
Bisequent calculus for four-valued quasi-relevant logics: cut elimination and interpolation	2024-02-06	Paper
A novel approach to equality	2024-01-26	Paper
RUSSELLIAN DEFINITE DESCRIPTION THEORY—A PROOF THEORETIC APPROACH	2023-05-26	Paper
Dialogues and Proofs; Yankov’s Contribution to Proof Theory	2023-04-05	Paper
Leśniewski's ontology -- proof-theoretic characterization	2022-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q5104714	2022-09-15	Paper
Tableaux for free logics with descriptions	2022-05-25	Paper
Free logics are cut-free	2021-11-11	Paper
Free Definite Description Theory – Sequent Calculi and Cut Elimination	2021-08-17	Paper
Sequents and trees. An introduction to the theory and applications of propositional sequent calculi	2020-10-14	Paper
Two is enough -- bisequent calculus for S5	2020-05-13	Paper
CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME	2020-02-20	Paper
Fregean Description Theory in Proof-Theoretical Setting	2020-02-11	Paper
https://portal.mardi4nfdi.de/entity/Q5224577	2019-07-24	Paper
Rule-Generation Theorem and its Applications	2019-05-15	Paper
Stanisław Jaśkowski: Life and Work	2019-01-21	Paper
Stanisław Jaśkowski and Natural Deduction Systems	2019-01-21	Paper
Tautology Elimination, Cut Elimination, and S5	2018-06-13	Paper
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus	2018-03-21	Paper
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus	2017-11-17	Paper
LINEAR TIME IN HYPERSEQUENT FRAMEWORK	2017-05-26	Paper
Hypersequent Calculi for S5: The Methods of Cut Elimination	2017-05-18	Paper
Simple cut elimination proof for hybrid logic	2017-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q2966675	2017-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q3452681	2015-11-13	Paper
https://portal.mardi4nfdi.de/entity/Q4982329	2015-04-09	Paper
A survey of nonstandard sequent calculi	2015-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q5173184	2015-02-09	Paper
Eliminability of cut in hypersequent calculi for some modal logics of linear frames	2014-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5413334	2014-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q5411414	2014-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5411433	2014-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q5411456	2014-04-23	Paper
Natural deduction, hybrid systems and modal logics	2012-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q3105688	2012-01-05	Paper
Possible worlds in use	2011-11-23	Paper
Modal Hybrid Logic	2008-03-06	Paper
https://portal.mardi4nfdi.de/entity/Q3435245	2007-04-25	Paper
A labelled natural deduction system for linear temporal logic	2004-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4438235	2003-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4443203	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q2702282	2001-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q4943267	2000-07-31	Paper
Cut-free double sequent calculus for S5	1999-04-19	Paper
https://portal.mardi4nfdi.de/entity/Q4229377	1999-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q5283968	1997-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4870571	1996-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q4323646	1995-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4294473	1995-02-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrzej Indrzejczak