Projects funded by the NCN
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
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 (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