Projekty finansowane przez NCN

Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Skończenie rozgałęzione struktury relacyjne w badaniach nad logikami modalnymi

2013/09/B/HS1/00701

Słowa kluczowe:

logika modalna systemy Brouwera struktury relacyjne Kripkego własność skończonych modeli krata logik.

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:

Politechnika Opolska, Wydział Inżynierii Produkcji i Logistyki

woj. opolskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Zofia Kostrzycka 

Liczba wykonawców projektu: 1

Konkurs: OPUS 5 - ogłoszony 2013-03-15

Przyznana kwota: 55 440 PLN

Rozpoczęcie projektu: 2014-03-07

Zakończenie projektu: 2015-09-06

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

Status projektu: Projekt rozliczony

Dane z raportu końcowego/rocznego

  • Publikacje w czasopismach (4)
  • Teksty w publikacjach pokonferencyjnych (6)
  1. Normal modal logics determined by aligned clusters
    Autorzy:
    Zofia Kostrzycka, Yutaka Miyazaki
    Czasopismo:
    Studia Logica (rok: 2017, tom: 105, strony: 45302), Wydawca: Institute of Philosophy and Sociology of the Polish Academy of Sciences and Springer
    Status:
    Opublikowana
    Doi:
    10.1007/s11225-016-9679-7 - link do publikacji
  2. All splitting logics in the lattice NEXT(KTB.3'A)
    Autorzy:
    Zofia Kostrzycka
    Czasopismo:
    Scientific Issues Jan Długosz University in Częstochowa (rok: 2016, tom: Mathematics XXI, strony: 31-61), Wydawca: Akademia Jana Długosza w Częstochowie
    Status:
    Opublikowana
    Doi:
    10.16926/m.2016.21.04 - link do publikacji
  3. On Hallden completeness of modal logics determined by homogeneous Kripke frames
    Autorzy:
    Zofia Kostrzycka
    Czasopismo:
    Bulletin of the Section of Logic (rok: 2015, tom: 44:3/4, strony: 45311), Wydawca: University of Łódź
    Status:
    Opublikowana
    Doi:
    brak - link do publikacji
  4. On linear Brouwerian logics
    Autorzy:
    Zofia Kostrzycka
    Czasopismo:
    Mathematical Logic Quarterly (rok: 2014, tom: 60, 4-5, strony: 304-313), Wydawca: Wiley
    Status:
    Opublikowana
    Doi:
    10.1002/malq.201200075 - link do publikacji
  1. On modal logics determind by homogenous Kripke frames. Abstrakt
    Autorzy:
    Zofia Kostrzycka
    Konferencja:
    Applications of Logic in Philosophy and the Foundations of Mathematics XIX (rok: 2014, ), Wydawca: Uniwersytet Wrocławski
    Data:
    konferencja 5-9.05.2014
    Status:
    Opublikowana
  2. On structure of the lattice of linear Brouwer modal logics. Abstrakt
    Autorzy:
    Zofia Kostrzycka
    Konferencja:
    60 Conference of the history of logic (rok: 2014, ), Wydawca: Uniwersytet Jagielloński
    Data:
    konferencja 21-22.10.2014
    Status:
    Opublikowana
  3. Interpolation in Brouwer logics determined by k-branching nets of clusters
    Autorzy:
    Zofia Kostrzycka
    Konferencja:
    Topology, Algebra, and Categories in Logic 2015 (rok: 2015, ), Wydawca: Univerity of Salerno
    Data:
    konferencja 21-26.06.2015
    Status:
    Opublikowana
  4. On Brouwer logics determined by k-branching nets of clusters
    Autorzy:
    Zofia Kostrzycka
    Konferencja:
    Applications of Algebra in Logic and Computer Science XIX (rok: 2015, ), Wydawca: Akademia J. Długosza w Częstochowie
    Data:
    konferencja 9-14.03.2015
    Status:
    Opublikowana
  5. On Hallden completeness in Brouwer Logics determined by nets of clusters
    Autorzy:
    Zofia Kostrzycka
    Konferencja:
    Applications of Logic in Philosophy and the Foundations of Mathematics (rok: 2015, ), Wydawca: Uniwersytet Wrocławski
    Data:
    konferencja 4-8.05.2015
    Status:
    Opublikowana
  6. On Hallden complete modal logics determined by homogeneous frames. Abstrakt
    Autorzy:
    Zofia Kostrzycka
    Konferencja:
    Logic Colloquium (rok: 2014, ), Wydawca: Kurt Godel Society
    Data:
    konferencja 14-19.07.2014.
    Status:
    Opublikowana

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy