80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi
2011/03/B/HS1/04366
Słowa kluczowe
Deskryptory
- HS1_4: Logika, metodologia nauk, filozofia nauki
Panel
HS1 – Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca
Uniwersytet Łódzki, Wydział Filozoficzno Historyczny
woj. łódzkie
Kierownik projektu (z jednostki realizującej)
Liczba wykonawców projektu: 1
Konkurs
OPUS 2 – ogłoszony 2011-09-15
- Przyznana kwota
- 106 530 PLN
- Rozpoczęcie projektu
- 2012-08-07
- Zakończenie projektu
- 2014-12-06
- Planowany czas trwania projektu
- 28 miesięcy (z wniosku)
- Status projektu
- Projekt rozliczony
Zakupiona aparatura
- Dysk zewnętrzny. Za kwotę 400 PLN
- Notebook. Za kwotę 5 500 PLN
- Oprogramowanie MS Office. Za kwotę 400 PLN
Dane z raportu końcowego/rocznego
Publikacje w czasopismach (6)
-
Powstanie i ewolucja rachunków sekwentowych
- Autorzy:
- Andrzej Indrzejczak
- Czasopismo:
- Filozofia Nauki (rok: 2014, tom: 4(88), strony: 53-70), Wydawca: Uniwersytet Warszawski
- Status:
- Opublikowana
-
Eliminability of Cut in Hypersequent Calculi for some Modal Logics of Linear Frames
- Autorzy:
- Andrzej Indrzejczak
- Czasopismo:
- Information Processing Letters (rok: 2015, tom: 115, strony: 75-81), Wydawca: Elsevier
- Status:
- Opublikowana
- DOI:
- 10.1016/j.ipl.2014.07.002 – link do publikacji
-
Contraction Contracted
- Autorzy:
- Andrzej Indrzejczak
- Czasopismo:
- Bulletin of the Section of Logic (rok: 2014, tom: 3-4(43), strony: 139-153), Wydawca: Uniwersytet Łódzki
- Status:
- Opublikowana
-
Decision Procedures for some strong Hybrid Logics
- Autorzy:
- Andrzej Indrzejczak, Michał Zawidzki
- Czasopismo:
- Logic and Logical Philosophy (rok: 2013, tom: 22/4, strony: 389-409), Wydawca: Wydawnictwo UMK
- Status:
- Opublikowana
- DOI:
- 10.12775/LLP.2013.022 – link do publikacji
-
A Survey of Nonstandard Sequent Calculi
- Autorzy:
- Andrzej Indrzejczak
- Czasopismo:
- Studia Logica (rok: 2014, tom: 6(102), strony: 1295-1322), Wydawca: Springer
- Status:
- Opublikowana
- DOI:
- 10.1007/s11225-014-9567-y – link do publikacji
-
Powstanie i ewolucja dedukcji naturalnej
- Autorzy:
- Andrzej Indrzejczak
- Czasopismo:
- Filozofia Nauki (rok: 2014, tom: 2(86), strony: 46162), Wydawca: Uniwersytet Warszawski
- Status:
- Opublikowana
Publikacje książkowe (1)
-
nie dotyczy
- Autorzy:
- Andrzej Indrzejczak
- Książka:
- Rachunki sekwentowe w logice klasycznej (rok: 2013, tom: nie dotyczy, strony: X + 299), Wydawca: Wydawnictwo UŁ
- Status:
- Opublikowana