Projekty finansowane przez NCN
Równoważność w logikach podstrukturalnych
2022/45/B/HS1/00606
Słowa kluczowe:
logiki podstrukturalne abstrakcyjna logika algebraiczna rozmaitości i quasi-rozmaitości algebr związanych z logiką kraty z rezyduacją algebry równoważnościowe spójnik równoważności rozmaitości Fregowskie komutator
Deskryptory:
- HS1_004: Logika, metodologia nauk, filozofia nauki
- ST1_001: Logika i podstawy matematyki
Panel:
HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia
Jednostka realizująca:
Uniwersytet Jagielloński, Wydział Filozoficzny
woj. małopolskie
Kierownik projektu (z jednostki realizującej):
dr hab. Tomasz Stanisław Kowalski
Liczba wykonawców projektu: 3
Konkurs: OPUS 23 - ogłoszony 2022-03-28
Przyznana kwota: 572 358 PLN
Rozpoczęcie projektu: 2023-02-01
Zakończenie projektu: 2026-02-22
Planowany czas trwania projektu: 36 miesięcy (z wniosku)
Status projektu: Projekt w realizacji
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 (1)
- Algebraic Semantics for a Mixed Type Fragment of IPCAutorzy:E. Lipka, K. SłomczyńskaCzasopismo:Studia Logica (rok: 2024, tom: online first, strony: online first), Wydawca: SpringerStatus:OpublikowanaDoi:10.1007/s11225-024-10117-1 - link do publikacji