Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

80 lat badań nad dedukcją naturalną i rachunkami sekwentowymi

2011/03/B/HS1/04366

Słowa kluczowe:

logika teoria dowodu dedukcja naturalna rachunki sekwentowe

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

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Andrzej Indrzejczak 

Liczba wykonawców projektu: 1

Konkurs: OPUS 2 - ogłoszony 2011-09-15

Przyznana kwota: 106 530 PLN

Rozpoczęcie projektu: 2012-08-01

Zakończenie projektu: 2014-12-06

Planowany czas trwania projektu: 28 miesięcy (z wniosku)

Status projektu: Projekt rozliczony

Zakupiona aparatura

  1. Oprogramowanie MS Office. Za kwotę 400 PLN
  2. Notebook. Za kwotę 5 500 PLN
  3. Dysk zewnętrzny. Za kwotę 400 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (6)
  • Publikacje książkowe (1)
  1. Powstanie i ewolucja dedukcji naturalnej
    Autorzy:
    Andrzej Indrzejczak
    Czasopismo:
    Filozofia Nauki (rok: 2014, tom: 2(86), strony: 45432), Wydawca: Uniwersytet Warszawski
    Status:
    Opublikowana
    Doi:
    brak - link do publikacji
  2. 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
    Doi:
    brak - link do publikacji
  3. 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
  4. 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
    Doi:
    brak - link do publikacji
  5. 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
  6. 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
  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

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy