Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

264 projects found matching your search criteria :

  1. Post completeness vs neighborhood completeness in classical modal logics

    Call: PRELUDIUM 22 , Panel: HS1

    Principal investigator: Krzysztof Krawczyk

    Uniwersytet Jagielloński, Wydział Filozoficzny

  2. Computable structure theory, and philosophy of mathematical structuralism

    Call: OPUS 25 , Panel: HS1

    Principal investigator: dr Dariusz Kalociński

    Instytut Podstaw Informatyki Polskiej Akademii Nauk

  3. 80 years of investigations on natural deduction and sequent calculi

    Call: OPUS 2 , Panel: HS1

    Principal investigator: prof. Andrzej Indrzejczak

    UNIWERSYTET ŁÓDZKI, Wydział Filozoficzno Historyczny

  4. Automation of the Problem of Unification in Description Logics

    Call: POLONEZ BIS 3 , Panel: ST6

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

  5. Epistemic inaccuracy -- what's next?

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Leszek Wroński

    Uniwersytet Jagielloński, Wydział Filozoficzny

  6. Side Conditions and the Saturation of the Non-stationary Ideal

    Call: POLONEZ BIS 3 , Panel: ST1

    Principal investigator: dr Rahman Mohammadpour

    Instytut Matematyczny Polskiej Akademii Nauk

  7. Representations of algebraic semantics for substructural logics

    Call: OPUS 24 (LAP) , Panel: HS1

    Principal investigator: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  8. Structure and algorithms for graph classes defined by transduction-closed properties

    Call: SONATA 18 , Panel: ST6

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  9. At the Intersections of Ethics, Philosophy of Nature, and Logic. Richard FitzRalph's and Richard Kilvington's Voluntaris...

    Call: OPUS 24 , Panel: HS1

    Principal investigator: dr hab. Monika Michałowska

    Uniwersytet Medyczny w Łodzi, Wydział Nauk o Zdrowiu

  10. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  11. Logical and epistemological criteria of salience in the foundations of mathematics

    Call: SONATA BIS 12 , Panel: HS1

    Principal investigator: dr Mateusz Łełyk

    Uniwersytet Warszawski, Wydział Filozofii

  12. Dynamic epistemic logic and the problem of logical omniscience

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Arkadiusz Wójcik

    Uniwersytet w Białymstoku, Instytut Filozofii

  13. Investigation of the use of the concept 'communication" in biology and cognitive sciences

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Wiktor Rorot

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  14. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  15. First Order Logic and Beyond. Some Puzzles in Database Theory.

    Call: OPUS 23 , Panel: ST6

    Principal investigator: prof. Jerzy Marcinkowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  16. Quantum State: Information, Free Choice, Randomness

    Call: OPUS 23 , Panel: HS1

    Principal investigator: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

  17. The development of a simultaneous message-passing protocol with structured light

    Call: OPUS 23 , Panel: ST7

    Principal investigator: dr Mateusz Szatkowski

    Politechnika Wrocławska

  18. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  19. Evidential Pluralism in Philosophy of Economics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

  20. How to understand nonsense? The role of imagination in Ludwig Wittgenstein's Tractatus Logico-Philosophicus

    Call: SONATINA 6 , Panel: HS1

    Principal investigator: dr Krystian Bogucki

    Instytut Filozofii i Socjologii Polskiej Akademii Nauk

  21. Philosophical and metalogical foundations of logic of names: semantics, tableaumethods and axiomatization

    Call: OPUS 22 , Panel: HS1

    Principal investigator: prof. Andrzej Pietruszczak

    Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych

  22. Cognitive artifacts on various time scales: An integrative approach

    Call: OPUS 22 , Panel: HS1

    Principal investigator: dr hab. Mateusz Hohol

    Uniwersytet Jagielloński, Centrum Kopernika Badań Interdyscyplinarnych

  23. (Anti)Classification and invariants in dynamics

    Call: POLONEZ BIS 1 , Panel: ST1

    Principal investigator: dr Philipp Kunde

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  24. Arithmetic and geometry of fields with operators

    Call: OPUS 22 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  25. Values, Trust, and Decision Making in Public Health

    Call: POLONEZ BIS 1 , Panel: HS1

    Principal investigator: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

  26. The categories of qualitativeness and individuality in logic, ontology and physics

    Call: OPUS 22 , Panel: HS1

    Principal investigator: prof. Tomasz Bigaj

    Uniwersytet Warszawski, Wydział Filozofii

  27. Relationships between algebraic, modal and many-valued quantum logics

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Elżbieta Drozdowska

    Katolicki Uniwersytet Lubelski Jana Pawła II

  28. Towards a Modelling-Based Account of Legal Institutions

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Wojciech Graboń

    Uniwersytet Warszawski, Wydział Prawa i Administracji

  29. Henri Bergson and the theory of special relativity

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Anna Kuszmiruk

    Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych

  30. Reinterpreting anaphora: towards ambiguity-first approach

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Antonina Jamrozik

    Uniwersytet Warszawski, Wydział Filozofii

  31. Selected topics in applications of set theory in functional analysis

    Call: PRELUDIUM 20 , Panel: ST1

    Principal investigator: Damian Głodkowski

    Instytut Matematyczny Polskiej Akademii Nauk

  32. Conceptual structure of natural numbers. Modeling numerical cognition by conceptual spaces

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr Paula Quinon

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  33. Extensional Ontology and Philosophical Logic

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Andrzej Biłat

    Wyższa Szkoła Przedsiębiorczości i Administracji w Lublinie

  34. From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

    Call: OPUS 21 , Panel: ST6

    Principal investigator: dr hab. Emanuel Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Rethinking legal probabilism

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

  36. Reasoning in Biblical Exegesis: from Stephen Langton to Thomas Aquinas

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Marcin Trepczyński

    Uniwersytet Warszawski, Wydział Filozofii

  37. Probability of conditionals - a stochastic graph model

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  38. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  39. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  40. Decision procedures in verification

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  41. Time, Truth and modality

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

  42. Logico-philosophical foundations of geometry and topology

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Rafał Gruszczyński

    Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Filozofii i Nauk Społecznych

  43. Category of race in the philosophy of medicine: conceptualisation and application of the category of race in biomedical ...

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Joanna Malinowska

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

  44. Exploring rhetorical strategies in a dialogue

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Katarzyna Budzyńska

    INSTYTUT FILOZOFII I SOCJOLOGII PAN

  45. Global inversion as a tool of quantitative interpretation of resistivity logs in thin-bedded rock formations

    Call: PRELUDIUM 19 , Panel: ST10

    Principal investigator: Michał Wilkosz

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Geologii, Geofizyki i Ochrony Środowiska

  46. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  47. Turing, Ashby, and "the Action of the Brain"

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr Hans-Joachim Greif

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  48. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

    Call: OPUS 19 , Panel: ST6

    Principal investigator: dr Michał Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  49. A problem of the interrelations between analytic philosophy and phenomenology from the perspective of Lviv-Warsaw School

    Call: PRELUDIUM 19 , Panel: HS1

    Principal investigator: Aleksandra Gomułczak

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Filozoficzny

  50. Set theoretic methods in analytic topology: from pointwise convergence and Banach spaces to operator algebras

    Call: OPUS 19 , Panel: ST1

    Principal investigator: prof. Witold Marciszewski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy