Projekty finansowane przez NCN


Dane kierownika projektu i jednostki realizującej

Szczegółowe informacje o projekcie i konkursie

Słowa kluczowe

Aparatura

Wyczyść formularz

Logiki pozycyjne - metateoria i zastosowania

2012/05/E/HS1/03542

Słowa kluczowe:

logiki pozycyjne operator realizacji metateoria operator R semantyka. zastosowania

Deskryptory:

  • HS1_4: Logika, metodologia nauk, filozofia nauki
  • ST1_1: Logika i podstawy matematyki
  • HS1_2: Ontologia i metafizyka, ontologie szczegółowe

Panel:

HS1 - Fundamentalne pytania o naturę człowieka i otaczającej go rzeczywistości: filozofia, nauki o poznaniu, religioznawstwo, teologia

Jednostka realizująca:

TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II

woj. lubelskie

Inne projekty tej jednostki 

Kierownik projektu (z jednostki realizującej):

dr hab. Marcin Tkaczyk 

Liczba wykonawców projektu: 3

Konkurs: SONATA BIS 1 - ogłoszony 2012-03-15

Przyznana kwota: 103 400 PLN

Rozpoczęcie projektu: 2013-01-29

Zakończenie projektu: 2016-01-28

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

Status projektu: Projekt rozliczony

Dane z raportu końcowego

  • Publikacje w czasopismach (3)
  • Publikacje książkowe (1)
  1. Distributive Laws in Weak Positional Logics
    Autorzy:
    Marcin Tkaczyk
    Czasopismo:
    Roczniki Filozoficzne (rok: 2018, tom: 66, strony: 163-179), Wydawca: TNKUL
    Status:
    Opublikowana
    Doi:
    10.18290/rf.2018.66.3-8 - link do publikacji
  2. Jerzy Łoś Positional Calculus and the Origin of Temporal Logic IF: 0,39
    Autorzy:
    Marcin Tkaczyk, Tomasz Jarmużek
    Czasopismo:
    Logic and Logical Philosophy (rok: 2018, tom: online 23.09, strony: 44578), Wydawca: UMK
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2018.013 - link do publikacji
  3. Maximality of Minimal R-Calculus IF: 0,39
    Autorzy:
    Anna Maria Karczewska
    Czasopismo:
    Logic and Logical Philosophy (rok: 2018, tom: 27, strony: 193-203), Wydawca: UMK
    Status:
    Opublikowana
    Doi:
    10.12775/LLP.2017.008 - link do publikacji
  1. -
    Autorzy:
    Tomasz Jarmużek, Marcin Tkaczyk
    Książka:
    Normalne logiki pozycyjne (rok: 2015, tom: -, strony: -), Wydawca: Wydawnictwo KUL
    Status:
    Opublikowana