80 years of investigations on natural deduction and sequent calculi
2011/03/B/HS1/04366
Keywords
Descriptors
- HS1_4: Logika, metodologia nauk, filozofia nauki
Panel
HS1 – Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology
Host institution
Uniwersytet Łódzki, Wydział Filozoficzno Historyczny
Voivodeship: łódzkie
Principal investigator (from the host institution)
Number of co-investigators in the project: 1
Call
OPUS 2 – announced on 2011-09-15
- Amount awarded
- 106 530 PLN
- Project start date
- 2012-08-07
- Project end date
- 2014-12-06
- Project duration
- 28 months (the same as in the proposal)
- Project status
- Project settled
Equipment purchased [PL]
- Dysk zewnętrzny. Cost: 400 PLN
- Notebook. Cost: 5 500 PLN
- Oprogramowanie MS Office. Cost: 400 PLN
Information in the final report
Publication in academic press/journals (6)
-
Powstanie i ewolucja rachunków sekwentowych
- Authors:
- Andrzej Indrzejczak
- Academic press:
- Filozofia Nauki (year: 2014, volume: 4(88), pages: 53-70), Publisher: Uniwersytet Warszawski
- Status:
- Published
-
Eliminability of Cut in Hypersequent Calculi for some Modal Logics of Linear Frames
- Authors:
- Andrzej Indrzejczak
- Academic press:
- Information Processing Letters (year: 2015, volume: 115, pages: 75-81), Publisher: Elsevier
- Status:
- Published
- DOI:
- 10.1016/j.ipl.2014.07.002 – link to the publication
-
Contraction Contracted
- Authors:
- Andrzej Indrzejczak
- Academic press:
- Bulletin of the Section of Logic (year: 2014, volume: 3-4(43), pages: 139-153), Publisher: Uniwersytet Łódzki
- Status:
- Published
-
Decision Procedures for some strong Hybrid Logics
- Authors:
- Andrzej Indrzejczak, Michał Zawidzki
- Academic press:
- Logic and Logical Philosophy (year: 2013, volume: 22/4, pages: 389-409), Publisher: Wydawnictwo UMK
- Status:
- Published
- DOI:
- 10.12775/LLP.2013.022 – link to the publication
-
A Survey of Nonstandard Sequent Calculi
- Authors:
- Andrzej Indrzejczak
- Academic press:
- Studia Logica (year: 2014, volume: 6(102), pages: 1295-1322), Publisher: Springer
- Status:
- Published
- DOI:
- 10.1007/s11225-014-9567-y – link to the publication
-
Powstanie i ewolucja dedukcji naturalnej
- Authors:
- Andrzej Indrzejczak
- Academic press:
- Filozofia Nauki (year: 2014, volume: 2(86), pages: 46162), Publisher: Uniwersytet Warszawski
- Status:
- Published
Book publications / chapters in book publications (1)
-
nie dotyczy
- Authors:
- Andrzej Indrzejczak
- Book:
- Rachunki sekwentowe w logice klasycznej (year: 2013, volume: nie dotyczy, pages: X + 299), Publisher: Wydawnictwo UŁ
- Status:
- Published