Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Sekwentowe i tablicowe systemy dedukcyjne dla logik nieklasycznych

2017/25/B/HS1/01268

Słowa kluczowe:

logiki nieklasyczne logiki modalne systemy dedukcyjne systemy tablicowe rachunki sekwentowe rozstrzygalność

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 Łódzki, Wydział Filozoficzno-Historyczny

woj. łódzkie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

prof. Andrzej Bogusław Indrzejczak 

Liczba wykonawców projektu: 3

Konkurs: OPUS 13 - ogłoszony 2017-03-15

Przyznana kwota: 364 680 PLN

Rozpoczęcie projektu: 2018-01-01

Zakończenie projektu: 2023-01-14

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

Status projektu: Projekt rozliczony

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.

Zakupiona aparatura

  1. Laptop (2 szt.). Za kwotę 8 000 PLN
  2. Czytnik ebooków. Za kwotę 1 000 PLN

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (23)
  • Teksty w publikacjach pokonferencyjnych (9)
  • Publikacje książkowe (1)
  1. The logic of internal rational agent
    Autorzy:
    Yaroslav Petrukhin
    Czasopismo:
    Australasian Journal of Logic (rok: 2021, tom: 18(2), strony: 29–50), Wydawca: Australasian Association of Logic / Victoria University of Wellington
    Status:
    Opublikowana
    Doi:
    10.26686/ajl.v18i2.6286 - link do publikacji
  2. When iota meets lambda
    Autorzy:
    Andrzej Indrzejczak, Michał Zawidzki
    Czasopismo:
    Synthese (rok: 2023, tom: 201, strony: 12055), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11229-023-04048-y - link do publikacji
  3. 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
  4. S5-style non-standard modalities in a hypersequent framework
    Autorzy:
    Yaroslav Petrukhin
    Czasopismo:
    Logic and Logical Philosophy (rok: 2021, tom: Online First, strony: 1–30), Wydawca: Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2021.020 - link do publikacji
  5. Russellian definite description theory — a proof theoretic approach
    Autorzy:
    Andrzej Indrzejczak
    Czasopismo:
    Review of Symbolic Logic (rok: 2021, tom: First View, strony: 45683), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/S1755020321000289 - link do publikacji
  6. A Novel Approach to Equality
    Autorzy:
    Andrzej Indrzejczak
    Czasopismo:
    Synthese (rok: 2021, tom: 199(1-2), strony: 4749–4774), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11229-020-03000-8 - link do publikacji
  7. Non-transitive Correspondence Analysis
    Autorzy:
    Yaroslav Petrukhin, Vasily Shangin
    Czasopismo:
    Jorunal of Logic, Language and Information (rok: 2022, tom: Online first, strony: 45684), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s10849-022-09382-x - link do publikacji
  8. Exactly true and non-falsity logics meeting infectious ones
    Autorzy:
    Alex Belikov, Yaroslav Petrukhin
    Czasopismo:
    Journal of Applied Non-Classical Logics (rok: 2020, tom: 30/2, strony: 93-122), Wydawca: Taylor & Francis
    Status:
    Opublikowana
    Doi:
    10.1080/11663081.2020.1751573 - link do publikacji
  9. Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
    Autorzy:
    Oleg Grigoriev, Yaroslav Petrukhin
    Czasopismo:
    Logic and Logical Philosophy (rok: 2021, tom: 30(3), strony: 385–415), Wydawca: Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2021.003 - link do publikacji
  10. Correspondence analysis and automated proof-searching for first degree entailment
    Autorzy:
    Yaroslav Petrukhin, Vasily Shangin
    Czasopismo:
    European Journal of Mathematics (rok: 2020, tom: 6, strony: 1452-1495), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s40879-019-00344-5 - link do publikacji
  11. Normalisation for Some Quite InterestingMany-Valued Logics
    Autorzy:
    Nils Kürbis, Yaroslav Petrukhin
    Czasopismo:
    Logic and Logical Philosophy (rok: 2021, tom: 30(3), strony: 493–534), Wydawca: Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2021.009 - link do publikacji
  12. Axiomatization of non-associative generalisations of Hájek's BL and psBL
    Autorzy:
    Yaroslav Petrukhin
    Czasopismo:
    Journal of Applied Non-Classical Logics (rok: 2020, tom: 30/1, strony: 45672), Wydawca: Taylor & Francis
    Status:
    Opublikowana
    Doi:
    10.1080/11663081.2019.1703468 - link do publikacji
  13. Basic modal congruent and monotonic multilattice logics
    Autorzy:
    Oleg Grigoriev, Yaroslav Petrukhin
    Czasopismo:
    Journal of Logic and Computation (rok: 2022, tom: Online First, strony: 45677), Wydawca: Oxford University Press
    Status:
    Opublikowana
    Doi:
    10.1093/logcom/exac028 - link do publikacji
  14. Free logics are cut-free
    Autorzy:
    Andrzej Indrzejczak
    Czasopismo:
    Studia Logica (rok: 2021, tom: 109(4), strony: 859–886), Wydawca: Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-020-09929-8 - link do publikacji
  15. Two proofs of the algebraic completeness theorem for multilattice logic
    Autorzy:
    Oleg Grigoriev, Yaroslav Petrukhin
    Czasopismo:
    Journal of Applied Non-Classical Logic (rok: 2019, tom: 29(4), strony: 358-381), Wydawca: Taylor &Francis
    Status:
    Opublikowana
    Doi:
    10.1080/11663081.2019.1647654 - link do publikacji
  16. On a multilattice analogue of a hypersequent S5 calculus
    Autorzy:
    Oleg Grigoriev, Yaroslav Petrukhin
    Czasopismo:
    Logic and Logical Philosophy (rok: 2019, tom: 28(4), strony: 683-730), Wydawca: Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2019.031 - link do publikacji
  17. 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
  18. Axiomatization of non-associative generalisations of Hájek's BL and psBL
    Autorzy:
    Yaroslav Petrukhin
    Czasopismo:
    Journal of Applied Non-Classical Logics (rok: 2020, tom: 30/1, strony: 45672), Wydawca: Taylor & Francis
    Status:
    Opublikowana
    Doi:
    10.1080/11663081.2019.1703468 - link do publikacji
  19. Fregean Description Theory in Proof-Theoretical Setting
    Autorzy:
    Andrzej Indrzejczak
    Czasopismo:
    Logic and Logical Philosophy (rok: 2019, tom: 28(1), strony: 137-155), Wydawca: Katedra Logiki, Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2018.008 - link do publikacji
  20. Exactly true and non-falsity logics meeting infectious ones
    Autorzy:
    Alex Belikov, Yaroslav Petrukhin
    Czasopismo:
    Journal of Applied Non-Classical Logics (rok: 2020, tom: 30/2, strony: 93-122), Wydawca: Taylor & Francis
    Status:
    Opublikowana
    Doi:
    10.1080/11663081.2020.1751573 - link do publikacji
  21. Free Definite Description Theory – Sequent Calculi and Cut Elimination
    Autorzy:
    Andrzej Indrzejczak
    Czasopismo:
    Logic and Logical Philosophy (rok: 2020, tom: 29/4, strony: 505-539), Wydawca: Uniwersytet Mikołaja Kopernika w Toruniu
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2020.020 - link do publikacji
  22. Rule-Generation Theorem and its Applications
    Autorzy:
    Andrzej Indrzejczak
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2018, tom: 4(47), strony: 265-281), Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
    Status:
    Opublikowana
    Doi:
    10.18778/0138-0680.47.4.03 - link do publikacji
  23. Russellian definite description theory — a proof theoretic approach
    Autorzy:
    Andrzej Indrzejczak
    Czasopismo:
    Review of Symbolic Logic (rok: 2021, tom: First View, strony: 45683), Wydawca: Cambridge University Press
    Status:
    Opublikowana
    Doi:
    10.1017/S1755020321000289 - link do publikacji
  1. Cut-Free Modal Theory of Definite Descriptions
    Autorzy:
    Andrzej Indrzejczak
    Konferencja:
    Advances in Modal Logic (rok: 2018, ), Wydawca: College Publications
    Data:
    konferencja 27-31 sierpnia 2018
    Status:
    Opublikowana
  2. From Simplified Kripke-Style Semantics to Simplified Analytic Tableaux for Some Normal Modal Logics
    Autorzy:
    Yaroslav Petrukhin, Michał Zawidzki
    Konferencja:
    The 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019) (rok: 2019, ), Wydawca: Springer (Lecture Notes in Computer Science 11946)
    Data:
    konferencja 19-22.11.2019
    Status:
    Opublikowana
  3. Normalisation for Some Infectious Logics and Their Relatives
    Autorzy:
    Yaroslav Petrukhin
    Konferencja:
    10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022) (rok: 2022, ), Wydawca: Electronic Proceedings in Theoretical Computer Science
    Data:
    konferencja 14-18.03.2022
    Status:
    Opublikowana
  4. When iota Meets lambda
    Autorzy:
    Andrzej Indrrzejczak, Michał Zawidzki
    Konferencja:
    iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications (rok: 2022, ), Wydawca: -
    Data:
    konferencja 11.08.2022
    Status:
    Opublikowana
  5. Tableaux for Free Logics with Descriptions
    Autorzy:
    Andrzej Indrzejczak, Michał Zawidzki
    Konferencja:
    Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX) (rok: 2021, ), Wydawca: Springer
    Data:
    konferencja 6-9.09.2021
    Status:
    Opublikowana
  6. Two is Enough – Bisequent Calculus for S5
    Autorzy:
    Andrzej Indrzejczak
    Konferencja:
    Frontiers of Combining Systems 2019 (rok: 2019, ), Wydawca: Springer (Lecture Notes in Artificial Intelligence 11715)
    Data:
    konferencja 4-6.09.2019
    Status:
    Opublikowana
  7. Leśniewski's Ontology – Proof-Theoretic Characterization
    Autorzy:
    Andrzej Indrzejczak
    Konferencja:
    International Joint Conference on Automated Reasoning (IJCAR 2022) (rok: 2022, ), Wydawca: Springer
    Data:
    konferencja 8-10.08.2022
    Status:
    Opublikowana
  8. Existence, Definedness and Definite Descriptions in Hybrid Modal Logic
    Autorzy:
    Andrzej Indrzejczak
    Konferencja:
    Advances in Modal Logic XII (rok: 2020, ), Wydawca: College Publications
    Data:
    konferencja 24-28.08.2020
    Status:
    Opublikowana
  9. Leśniewski's Ontology – Proof-Theoretic Characterization
    Autorzy:
    Andrzej Indrzejczak
    Konferencja:
    International Joint Conference on Automated Reasoning (IJCAR 2022) (rok: 2022, ), Wydawca: Springer
    Data:
    konferencja 8-10.08.2022
    Status:
    Opublikowana
  1. -
    Autorzy:
    Andrzej Indrzejczak
    Książka:
    Sequents and Trees. An Introduction to the Theory and Applications of Propositional Sequent Calculi (rok: 2020, tom: -, strony: XVI+345), Wydawca: Birkhäuser (Springer Nature Switzerland)
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy