Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

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

2017/26/E/HS1/00127

Keywords:

proof theory automated theorem proving computational complexity of proof procedures computational methods non-classical logics

Descriptors:

  • HS1_4:

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

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

woj. wielkopolskie

Other projects carried out by the institution 

Principal investigator (from the host institution):

dr hab. Dorota Leszczyńska-Jasion 

Number of co-investigators in the project: 7

Call: SONATA BIS 7 - announced on 2017-06-14

Amount awarded: 1 678 055 PLN

Project start date (Y-m-d): 2018-04-09

Project end date (Y-m-d): 2023-10-08

Project duration:: 66 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

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