Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranymi metodami obliczeniowymi

2017/26/E/HS1/00127

Słowa kluczowe:

teoria dowodu automatyczne dowodzenie twierdzeń złożoność obliczeniowa procedur dowodowych metody obliczeniowe logiki nieklasyczne

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

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

woj. wielkopolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Dorota Leszczyńska-Jasion 

Liczba wykonawców projektu: 7

Konkurs: SONATA BIS 7 - ogłoszony 2017-06-14

Przyznana kwota: 1 678 055 PLN

Rozpoczęcie projektu: 2018-04-09

Zakończenie projektu: 2023-10-08

Planowany czas trwania projektu: 36 miesięcy (z wniosku)

Status projektu: Projekt zakończony

Opis Projektu

Pobierz opis projektu w formacie .pdf

Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (6)
  • Teksty w publikacjach pokonferencyjnych (5)
  • Publikacje książkowe (5)
  1. Functional completeness in CPL via correspondence analysis
    Autorzy:
    Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin, Marcin Jukiewicz
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2019, tom: 48(1), strony: 45-76), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Opublikowana
    Doi:
    10.18778/0138-0680.48.1.04 - link do publikacji
  2. An Investigation into Intuitionistic Logic with Identity
    Autorzy:
    Szymon Chlebowski, Dorota Leszczyńska-Jasion
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2019, tom: 48(4), strony: 259-283), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Opublikowana
    Doi:
    10.18778/0138-0680.48.4.02 - link do publikacji
  3. The method of Socratic proofs meets correspondence analysis
    Autorzy:
    Dorota Leszczyńska-Jasion, Yaroslav Petrukhin, Vasilyi Shangin
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2019, tom: 48(2), strony: 99-116), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Opublikowana
    Doi:
    10.18778/0138-0680.48.2.02 - link do publikacji
  4. Natural Deduction Systems for Intuitionistic Logic with Identity
    Autorzy:
    Szymon Chlebowski, Marta Gawek, Agata Tomczyk
    Czasopismo:
    Studia Logica (rok: 2022, tom: 110, strony: 1381-1415), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-022-09995-0 - link do publikacji
  5. Meaning in use: the case of propositional identity
    Autorzy:
    Leonard Kupś, Szymon Chlebowski
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2023, tom: -, strony: -), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Złożona
    Doi:
    brak - link do publikacji
  6. Synthetic tableaux with unrestricted cut for first-order theories
    Autorzy:
    Dorota Leszczyńska-Jasion, Szymon Chlebowski
    Czasopismo:
    Axioms (rok: 2019, tom: 8(4), strony: -), Wydawca: MDPI
    Status:
    Opublikowana
    Doi:
    10.3390/axioms8040133 - link do publikacji
  1. Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus
    Autorzy:
    Agata Tomczyk, Dorota Leszczyńska-Jasion
    Konferencja:
    Non-Classical Logics. Theory and Applications 2022 (rok: 2022, ), Wydawca: Electronic Proceedings in Theoretical Computer Science
    Data:
    konferencja 2022.03.14-18
    Status:
    Opublikowana
  2. Distributive Deductive Systems: the case of the First-Order Logic
    Autorzy:
    Dorota Leszczyńska-Jasion, Szymon Chlebowski
    Konferencja:
    6th World Congress and School on Universal Logic (UNILOG) (rok: 2018, ), Wydawca: University of Tübingen
    Data:
    konferencja 21-26 czerwca 2018
    Status:
    Opublikowana
  3. Optimizing SSVEP-based brain-computer interface with CCA and Genetic Algorithms
    Autorzy:
    Marcin Jukiewicz, Mikołaj Buchwald, Aleksandra Czyż
    Konferencja:
    Signal Processing: Algorithms, Architectures, Arrangements, and Applications (SPA) (rok: 2019, ), Wydawca: IEE
    Data:
    konferencja 18-20.09.2019
    Status:
    Opublikowana
  4. Synthetic Tableaux: Minimal Tableau Search Heuristics
    Autorzy:
    Michał Sochański, Dorota Leszczyńska-Jasion, Szymon Chlebowski, Agata Tomczyk, Marcin Jukiewicz
    Konferencja:
    IJCAR 2022 (rok: 2022, ), Wydawca: Springer
    Data:
    konferencja 8-10 sierpnia 2022
    Status:
    Opublikowana
  5. Representing Formulas of Propositional Logic by Cographs, Permutations and Tables
    Autorzy:
    Michał Sochański
    Konferencja:
    13th International Conference on the Theory and Application of Diagrams (rok: 2022, ), Wydawca: Springer
    Data:
    konferencja 14-16 września 2022
    Status:
    Opublikowana
  1. -
    Autorzy:
    Dorota Leszczyńska-Jasion
    Książka:
    The Method of Socratic Proofs. From the Logic of Questions to Proof Theory (rok: 2024, ), Wydawca: Springer
    Status:
    Przyjęta do publikacji
  2. The Method of Socratic Proofs: From the Logic of Questions to Proof Theory
    Autorzy:
    Dorota Leszczyńska-Jasion
    Książka:
    Asking and Answering. Rivalling Approaches to Interrogative Methods (rok: 2021, tom: -, strony: 183-198), Wydawca: Narr Francke Attempto Verlag GmbH + Co. KG
    Status:
    Opublikowana
    Doi:
    link do publikacji
  3. Systemy dowodowe dla logik niefregowskich
    Autorzy:
    Szymon Chlebowski, Dorota Leszczyńska-Jasion, Marta Gawek, Marcin Rabiza, Agata Tomczyk
    Książka:
    Język-struktura-ontologia. Pamięci Romana Suszki (rok: 2022, tom: -, strony: 210-238), Wydawca: Wydawnictwo Nauk Społecznych i Humanistycznych UAM
    Status:
    Opublikowana
  4. Dystrybutywne systemy dedukcyjne: czy logikę można uprawiać jako naukę empiryczną?
    Autorzy:
    Dorota Leszczyńska-Jasion, Szymon Chlebowski, Marcin Jukiewicz, Adam Kupś
    Książka:
    Filozof w krainie umysłów. Profesorowi Andrzejowi Klawiterowi w darze (rok: 2018, tom: -, strony: 355-368), Wydawca: Wydawnictwo Naukowe Wydziału Nauk Społecznych UAM
    Status:
    Opublikowana
  5. Study on Synthetic Tableaux with Unrestricted Cut for First-Order Theories
    Autorzy:
    Dorota Leszczyńska-Jasion, Szymon Chlebowski
    Książka:
    Theory and Practice of Mathematics and Computer Science (rok: 2020, tom: 4, strony: 45-70), Wydawca: Book Publisher International
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy