Zmiana języka

Projects search

Sequent- and tableau-based proof systems for nonclassical logics

2017/25/B/HS1/01268

Keywords

Descriptors

  • HS1_4: Logika, metodologia nauk, filozofia nauki

Panel

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

Host institution

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Voivodeship: łódzkie

Other projects carried out by the institution »

Principal investigator (from the host institution)

prof. Andrzej Bogusław Indrzejczak

Number of co-investigators in the project: 3

Call

OPUS 13 – announced on 2017-03-15

Amount awarded
364 680 PLN
Project start date
2018-01-15
Project end date
2023-01-14
Project duration
60 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.

Equipment purchased [PL]

  1. Czytnik ebooków. Cost: 1 000 PLN
  2. Laptop (2 pcs). Cost: 8 000 PLN

Information in the final report

Publication in academic press/journals (20)

  1. S5-style non-standard modalities in a hypersequent framework

    Authors:
    Yaroslav Petrukhin
    Academic press:
    Logic and Logical Philosophy (year: 2021, volume: Online First, pages: 1–30), Publisher: Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Published
    DOI:
    10.12775/LLP.2021.020 – link to the publication

  2. The logic of internal rational agent

    Authors:
    Yaroslav Petrukhin
    Academic press:
    Australasian Journal of Logic (year: 2021, volume: 18(2), pages: 29–50), Publisher: Australasian Association of Logic / Victoria University of Wellington
    Status:
    Published
    DOI:
    10.26686/ajl.v18i2.6286 – link to the publication

  3. Free logics are cut-free

    Authors:
    Andrzej Indrzejczak
    Academic press:
    Studia Logica (year: 2021, volume: 109(4), pages: 859–886), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s11225-020-09929-8 – link to the publication

  4. Russellian definite description theory — a proof theoretic approach

    Authors:
    Andrzej Indrzejczak
    Academic press:
    Review of Symbolic Logic (year: 2021, volume: First View, pages: 46048), Publisher: Cambridge University Press
    Status:
    Published
    DOI:
    10.1017/S1755020321000289 – link to the publication

  5. 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 (year: 2019, volume: 48(1), pages: 45-76), Publisher: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Published
    DOI:
    10.18778/0138-0680.48.1.04 – link to the publication

  6. Free Definite Description Theory – Sequent Calculi and Cut Elimination

    Authors:
    Andrzej Indrzejczak
    Academic press:
    Logic and Logical Philosophy (year: 2020, volume: 29/4, pages: 505-539), Publisher: Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Published
    DOI:
    10.12775/LLP.2020.020 – link to the publication

  7. 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 (year: 2019, volume: 48(2), pages: 99-116), Publisher: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Published
    DOI:
    10.18778/0138-0680.48.2.02 – link to the publication

  8. Fregean Description Theory in Proof-Theoretical Setting

    Authors:
    Andrzej Indrzejczak
    Academic press:
    Logic and Logical Philosophy (year: 2019, volume: 28(1), pages: 137-155), Publisher: Katedra Logiki, Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Published
    DOI:
    10.12775/LLP.2018.008 – link to the publication

  9. Rule-Generation Theorem and its Applications

    Authors:
    Andrzej Indrzejczak
    Academic press:
    Bulletin of the Section of Logic (year: 2018, volume: 4(47), pages: 265-281), Publisher: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Published
    DOI:
    10.18778/0138-0680.47.4.03 – link to the publication

  10. Two proofs of the algebraic completeness theorem for multilattice logic

    Authors:
    Oleg Grigoriev, Yaroslav Petrukhin
    Academic press:
    Journal of Applied Non-Classical Logic (year: 2019, volume: 29(4), pages: 358-381), Publisher: Taylor &Francis
    Status:
    Published
    DOI:
    10.1080/11663081.2019.1647654 – link to the publication

  11. On a multilattice analogue of a hypersequent S5 calculus

    Authors:
    Oleg Grigoriev, Yaroslav Petrukhin
    Academic press:
    Logic and Logical Philosophy (year: 2019, volume: 28(4), pages: 683-730), Publisher: Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Published
    DOI:
    10.12775/LLP.2019.031 – link to the publication

  12. Axiomatization of non-associative generalisations of Hájek's BL and psBL

    Authors:
    Yaroslav Petrukhin
    Academic press:
    Journal of Applied Non-Classical Logics (year: 2020, volume: 30/1, pages: 46037), Publisher: Taylor & Francis
    Status:
    Published
    DOI:
    10.1080/11663081.2019.1703468 – link to the publication

  13. A Novel Approach to Equality

    Authors:
    Andrzej Indrzejczak
    Academic press:
    Synthese (year: 2021, volume: 199(1-2), pages: 4749–4774), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s11229-020-03000-8 – link to the publication

  14. Modal multilattice logics with Tarski, Kuratowski, and Halmos operators

    Authors:
    Oleg Grigoriev, Yaroslav Petrukhin
    Academic press:
    Logic and Logical Philosophy (year: 2021, volume: 30(3), pages: 385–415), Publisher: Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Published
    DOI:
    10.12775/LLP.2021.003 – link to the publication

  15. Normalisation for Some Quite InterestingMany-Valued Logics

    Authors:
    Nils Kürbis, Yaroslav Petrukhin
    Academic press:
    Logic and Logical Philosophy (year: 2021, volume: 30(3), pages: 493–534), Publisher: Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Published
    DOI:
    10.12775/LLP.2021.009 – link to the publication

  16. Exactly true and non-falsity logics meeting infectious ones

    Authors:
    Alex Belikov, Yaroslav Petrukhin
    Academic press:
    Journal of Applied Non-Classical Logics (year: 2020, volume: 30/2, pages: 93-122), Publisher: Taylor & Francis
    Status:
    Published
    DOI:
    10.1080/11663081.2020.1751573 – link to the publication

  17. Correspondence analysis and automated proof-searching for first degree entailment

    Authors:
    Yaroslav Petrukhin, Vasily Shangin
    Academic press:
    European Journal of Mathematics (year: 2020, volume: 6, pages: 1452-1495), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s40879-019-00344-5 – link to the publication

  18. Non-transitive Correspondence Analysis

    Authors:
    Yaroslav Petrukhin, Vasily Shangin
    Academic press:
    Jorunal of Logic, Language and Information (year: 2022, volume: Online first, pages: 46049), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s10849-022-09382-x – link to the publication

  19. When iota meets lambda

    Authors:
    Andrzej Indrzejczak, Michał Zawidzki
    Academic press:
    Synthese (year: 2023, volume: 201, pages: 12055), Publisher: Springer
    Status:
    Published
    DOI:
    10.1007/s11229-023-04048-y – link to the publication

  20. Basic modal congruent and monotonic multilattice logics

    Authors:
    Oleg Grigoriev, Yaroslav Petrukhin
    Academic press:
    Journal of Logic and Computation (year: 2022, volume: Online First, pages: 46042), Publisher: Oxford University Press
    Status:
    Published
    DOI:
    10.1093/logcom/exac028 – link to the publication

Articles in post-conference publications (8)

  1. Two is Enough – Bisequent Calculus for S5

    Authors:
    Andrzej Indrzejczak
    Conference:
    Frontiers of Combining Systems 2019 (year: 2019, pages: 277-294), Publisher: Springer (Lecture Notes in Artificial Intelligence 11715)
    Date:
    conference 4-6.09.2019
    Status:
    Published

  2. Cut-Free Modal Theory of Definite Descriptions

    Authors:
    Andrzej Indrzejczak
    Conference:
    Advances in Modal Logic (year: 2018, pages: 359-378), Publisher: College Publications
    Date:
    conference 27-31 sierpnia 2018
    Status:
    Published

  3. From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics

    Authors:
    Yaroslav Petrukhin, Michał Zawidzki
    Conference:
    The 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019) (year: 2019, pages: 116-131), Publisher: Springer (Lecture Notes in Computer Science 11946)
    Date:
    conference 19-22.11.2019
    Status:
    Published

  4. Normalisation for Some Infectious Logics and Their Relatives

    Authors:
    Yaroslav Petrukhin
    Conference:
    10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022) (year: 2022, pages: 46380), Publisher: Electronic Proceedings in Theoretical Computer Science
    Date:
    conference 14-18.03.2022
    Status:
    Published

  5. Leśniewski's Ontology – Proof-Theoretic Characterization

    Authors:
    Andrzej Indrzejczak
    Conference:
    International Joint Conference on Automated Reasoning (IJCAR 2022) (year: 2022, pages: 541-558), Publisher: Springer
    Date:
    conference 8-10.08.2022
    Status:
    Published

  6. Existence, Definedness and Definite Descriptions in Hybrid Modal Logic

    Authors:
    Andrzej Indrzejczak
    Conference:
    Advances in Modal Logic XII (year: 2020, pages: 349-368), Publisher: College Publications
    Date:
    conference 24-28.08.2020
    Status:
    Published

  7. When iota Meets lambda

    Authors:
    Andrzej Indrrzejczak, Michał Zawidzki
    Conference:
    iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications (year: 2022, pages: 21-26), Publisher: -
    Date:
    conference 11.08.2022
    Status:
    Published

  8. Tableaux for Free Logics with Descriptions

    Authors:
    Andrzej Indrzejczak, Michał Zawidzki
    Conference:
    Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) (year: 2021, pages: 56–73), Publisher: Springer
    Date:
    conference 6-9.09.2021
    Status:
    Published

Book publications / chapters in book publications (1)

  1. -

    Authors:
    Andrzej Indrzejczak
    Book:
    Sequents and Trees. An Introduction to the Theory and Applications of Propositional Sequent Calculi (year: 2020, volume: -, pages: XVI+345), Publisher: Birkhäuser (Springer Nature Switzerland)
    Status:
    Published

« New search

Graphic design and implementation: Jakub Piotrowski