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

248 projects found matching your search criteria :

  1. Representations of algebraic semantics for substructural logics

    Call: OPUS 24 (LAP) , Panel: HS1

    Principal investigator: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  2. 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

  3. 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

  4. Polynomial finite state computation

    Call: MAESTRO 14 , Panel: ST6

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  5. 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

  6. 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

  7. 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

  8. Equivalence in Substructural Logics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr hab. Tomasz Kowalski

    Uniwersytet Jagielloński, Wydział Filozoficzny

  9. 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

  10. Quantum State: Information, Free Choice, Randomness

    Call: OPUS 23 , Panel: HS1

    Principal investigator: prof. Tomasz Placek

    Uniwersytet Jagielloński, Wydział Filozoficzny

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

    Call: OPUS 23 , Panel: ST7

    Principal investigator: dr Mateusz Szatkowski

    Politechnika Wrocławska

  12. Transcendental Arguments. Models and Applications

    Call: PRELUDIUM 21 , Panel: HS1

    Principal investigator: Stanisław Jędrczak

    Uniwersytet Warszawski, Wydział Filozofii

  13. Evidential Pluralism in Philosophy of Economics

    Call: OPUS 23 , Panel: HS1

    Principal investigator: dr Mariusz Maziarz

    Uniwersytet Jagielloński, Wydział Filozoficzny

  14. 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

  15. 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

  16. 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

  17. (Anti)Classification and invariants in dynamics

    Call: POLONEZ BIS 1 , Panel: ST1

    Principal investigator: dr Philipp Kunde

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

  18. Arithmetic and geometry of fields with operators

    Call: OPUS 22 , Panel: ST1

    Principal investigator: prof. Piotr Kowalski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

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

    Call: POLONEZ BIS 1 , Panel: HS1

    Principal investigator: dr Elena Popa

    Uniwersytet Jagielloński, Wydział Filozoficzny

  20. 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

  21. 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

  22. Towards a Modelling-Based Account of Legal Institutions

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Wojciech Graboń

    Uniwersytet Warszawski, Wydział Prawa i Administracji

  23. 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

  24. Reinterpreting anaphora: towards ambiguity-first approach

    Call: PRELUDIUM 20 , Panel: HS1

    Principal investigator: Antonina Jamrozik

    Uniwersytet Warszawski, Wydział Filozofii

  25. 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

  26. 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

  27. 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

  28. 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

  29. Rethinking legal probabilism

    Call: OPUS 21 , Panel: HS1

    Principal investigator: dr hab. Rafał Urbaniak

    Uniwersytet Gdański, Wydział Nauk Społecznych

  30. 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

  31. Probability of conditionals - a stochastic graph model

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr hab. Anna Wójtowicz

    Uniwersytet Warszawski, Wydział Filozofii

  32. Mathematicized Scientific Theories and The Foundations of Applied Mathematics

    Call: OPUS 20 , Panel: HS1

    Principal investigator: dr Jeffrey Ketland

    Uniwersytet Warszawski, Wydział Filozofii

  33. Robust Formalisms for Quantitative Reasoning

    Call: OPUS 20 , Panel: ST6

    Principal investigator: dr Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  34. Decision procedures in verification

    Call: OPUS 2 , Panel: ST6

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  35. Time, Truth and modality

    Call: SONATA 16 , Panel: HS1

    Principal investigator: dr Jacek Wawer

    Uniwersytet Jagielloński, Wydział Filozoficzny

  36. 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

  37. 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

  38. Exploring rhetorical strategies in a dialogue

    Call: OPUS 2 , Panel: HS1

    Principal investigator: dr hab. Katarzyna Budzyńska

    INSTYTUT FILOZOFII I SOCJOLOGII PAN

  39. Hybrid models of reasoning

    Call: OPUS 19 , Panel: HS1

    Principal investigator: dr hab. Maciej Malicki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

  40. 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

  41. 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

  42. 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

  43. 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

  44. Interpreting Euclid

    Call: PRELUDIUM 19 , Panel: HS1

    Principal investigator: Anna Petiurenko

    Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

  45. Is semantic structuralism necessarily set-theoretic structuralism? Methods of representation in Steven French's ontic st...

    Call: ETIUDA 8 , Panel: HS1

    Principal investigator: Agnieszka Proszewska

    Uniwersytet Jagielloński, Wydział Filozoficzny

  46. Category-theoretic framework for the Fraissé-Jónsson construction

    Call: OPUS 2 , Panel: ST1

    Principal investigator: dr hab. Wiesław Kubiś

    Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy

  47. Theory Construction and the Empirical Social and Behavioral Sciences

    Call: OPUS 18 , Panel: HS1

    Principal investigator: dr hab. Frank Zenker

    Politechnika Warszawska, Wydział Administracji i Nauk Społecznych

  48. Around Modal Logics - Decidability and Complexity

    Call: PRELUDIUM 2 , Panel: ST6

    Principal investigator: Jakub Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

  49. Intelligent approaches for facility layout problems in management, production, and logistics

    Call: OPUS 18 , Panel: HS4

    Principal investigator: dr hab. Rafał Michalski

    Politechnika Wrocławska

  50. Towards a cognitively plausible compositional model for natural language quantification

    Call: OPUS 18 , Panel: HS1

    Principal investigator: dr hab. Justyna Grudzińska-Zawadowska

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy