Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

80 years of investigations on natural deduction and sequent calculi

2011/03/B/HS1/04366

Keywords:

logic proof theory natural deduction sequent calculi

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

woj. łódzkie

Other projects carried out by the institution 

Principal investigator (from the host institution):

prof. Andrzej Indrzejczak 

Number of co-investigators in the project: 1

Call: OPUS 2 - announced on 2011-09-15

Amount awarded: 106 530 PLN

Project start date (Y-m-d): 2012-08-07

Project end date (Y-m-d): 2014-12-06

Project duration:: 28 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

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

Information in the final report

  • Publication in academic press/journals (6)
  • Book publications / chapters in book publications (1)
  1. Powstanie i ewolucja dedukcji naturalnej
    Authors:
    Andrzej Indrzejczak
    Academic press:
    Filozofia Nauki (rok: 2014, tom: 2(86), strony: 45432), Wydawca: Uniwersytet Warszawski
    Status:
    Published
    DOI:
    brak - link to the publication
  2. Powstanie i ewolucja rachunków sekwentowych
    Authors:
    Andrzej Indrzejczak
    Academic press:
    Filozofia Nauki (rok: 2014, tom: 4(88), strony: 53-70), Wydawca: Uniwersytet Warszawski
    Status:
    Published
    DOI:
    brak - link to the publication
  3. A Survey of Nonstandard Sequent Calculi
    Authors:
    Andrzej Indrzejczak
    Academic press:
    Studia Logica (rok: 2014, tom: 6(102), strony: 1295-1322), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-014-9567-y - link to the publication
  4. Contraction Contracted
    Authors:
    Andrzej Indrzejczak
    Academic press:
    Bulletin of the Section of Logic (rok: 2014, tom: 3-4(43), strony: 139-153), Wydawca: Uniwersytet Łódzki
    Status:
    Published
    DOI:
    brak - link to the publication
  5. Eliminability of Cut in Hypersequent Calculi for some Modal Logics of Linear Frames
    Authors:
    Andrzej Indrzejczak
    Academic press:
    Information Processing Letters (rok: 2015, tom: 115, strony: 75-81), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.ipl.2014.07.002 - link to the publication
  6. Decision Procedures for some strong Hybrid Logics
    Authors:
    Andrzej Indrzejczak, Michał Zawidzki
    Academic press:
    Logic and Logical Philosophy (rok: 2013, tom: 22/4, strony: 389-409), Wydawca: Wydawnictwo UMK
    Status:
    Published
    DOI:
    10.12775/LLP.2013.022 - link to the publication
  1. nie dotyczy
    Authors:
    Andrzej Indrzejczak
    Book:
    Rachunki sekwentowe w logice klasycznej (rok: 2013, tom: nie dotyczy, strony: X + 299), Wydawca: Wydawnictwo UŁ
    Status:
    Published

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy