Projects search

• Keywords: proof systems ×

Change search criteria ↓

Search results

15 projects found matching your search criteria:

1. 1. Sequent- and tableau-based proof systems for nonclassical logics

   Principal investigator: prof. Andrzej Bogusław Indrzejczak

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Call: OPUS 13, Panel: HS1

2. 2. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

   Principal investigator: dr hab. Dorota Leszczyńska-Jasion

   Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

   Call: SONATA BIS 7, Panel: HS1

3. 3. Algorithms concerning the legibility of natural deduction proofs

   Principal investigator: dr Karol Pąk

   Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

   Call: PRELUDIUM 4, Panel: ST6

4. 4. Metatheory of Tableau Systems

   Principal investigator: dr hab. Tomasz Dariusz Jarmużek

   Uniwersytet Mikołaja Kopernika, Wydział Humanistyczny

   Call: OPUS 10, Panel: HS1

5. 5. Deductive systems and decidability problem for hybrid logics

   Principal investigator: dr Michał Ksawery Zawidzki

   Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

   Call: PRELUDIUM 1, Panel: HS1

6. 6. Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

   Principal investigator: dr Karol Pąk

   Uniwersytet w Białymstoku, Instytut Informatyki

   Call: SONATA 10, Panel: ST6

7. 7. Nature-based perennial grain cropping as a model to safeguard functional biodiversity towards future-proof agriculture

   Principal investigator: prof. Katarzyna Hrynkiewicz

   Uniwersytet Mikołaja Kopernika, Wydział Nauk Biologicznych i Weterynaryjnych

   Call: BIODIVCLIM, Panel: NZ9

8. 8. New design of semiconductor disc laser for emission in infrared (proof of concept for 1750nm)

   Principal investigator: prof. Jan Maksymilian Muszalski

   Sieć Badawcza ŁUKASIEWICZ - Instytut Mikroelektroniki i Fotoniki

   Call: OPUS 13, Panel: ST7

9. 9. Rigorous numerics and computer assisted proofs for dissipative partial differential equations.

   Principal investigator: Jacek Cyranka

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: PRELUDIUM 1, Panel: ST6

10. 10. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

    Principal investigator: dr Małgorzata Biernacka

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 2, Panel: ST6

11. 11. Combinatorial links between topology and dynamics

    Principal investigator: prof. Marian Mrozek

    Uniwersytet Jagielloński

    Call: OPUS 29, Panel: ST1

12. 12. Rigorous numerical methods for Functional Differential Equations

    Principal investigator: dr Robert Szczelina

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 25, Panel: ST6

13. 13. Strategic Social Network Analysis

    Principal investigator: dr Tomasz Michalak

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 12, Panel: ST6

14. 14. Affiliation hiding group signatures

    Principal investigator: Kamil Krzysztof Kluczniak

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

    Call: PRELUDIUM 8, Panel: ST6

15. 15. Foundations of Cryptocurrencies

    Principal investigator: dr hab. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 7, Panel: ST6