Projects funded by the NCN
Erotetic logic in the modeling of ultimate and distributed question processing. Theoretical foundations and applications
2012/04/A/HS1/00715
Keywords:
internal question processing inferential erotetic logic proof theory automated theorem proving cooperative questioning and answering interrogative problem solving
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 im. Adama Mickiewicza, Wydział Nauk Społecznych
woj. wielkopolskie
Principal investigator (from the host institution):
Number of co-investigators in the project: 7
Call: MAESTRO 2 - announced on 2011-12-15
Amount awarded: 1 562 287 PLN
Project start date (Y-m-d): 2012-09-20
Project end date (Y-m-d): 2017-09-19
Project duration:: 60 months (the same as in the proposal)
Project status: Project settled