Opis

• Tytuł:
  Sekwentowe i założeniowe formalizacje zadaniowych logik modalnych
• Twórca:
  Indrzejczak, Andrzej
• Współtwórca:
  Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
• Opis:
  Z uwagi na obwiązujące prawo autorskie dostęp do plików został ograniczony do sieci lokalnej w Bibliotece UŁ, natomiast metadane pozostają otwarte na licencji Creative Commons Uznanie Autorstwa (CC BY).;
  Celem dysertacji jest, w miarę kompletne, przedstawienie problematyki nieaksjomatycznych formalizacji zdaniowych logik modalnych. Użyte w tytule określenia "założeniowe" i "sekwentowe" wskazują w sposób przybliżony do jakiego rodzaju formalizacji poniższa prezentacja się ogranicza. Obecnie, w logice używa się wielu różnych metod dowodzenia, warto jednak zauważyć, że nie istnieje jakiś ogólnie uznawany podział, brakuje nawet konsekwentnie stosowanej terminologii. Zasięg stosowalności omawianych metod ograniczono do tzw. regularnych logik modalnych, chociaż główny nacisk położono na najlepiej zbadaną rodzinę logik normalnych. Zasadniczo praca dotyczy logik a/etycznych, z jednym rodzajem modalności (wyróżnioną rolę pełni funktor konieczności).;
  Projekt pt. Digitalizacja i udostępnienie kolekcji cennych dysertacji doktorskich z nauk humanistycznych (SON BIBL/SP/0033/2024/02) dofinansowany ze środków budżetu państwa, przyznanych przez Ministra Nauki w ramach Programu Społeczna odpowiedzialność nauki II.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  Uznanie autorstwa 4.0 Międzynarodowe;
  http://creativecommons.org/licenses/by/4.0
• Data:
  2025.02.26;
  1997
• Typ:
  PhD/Doctoral Dissertation
• Język:
  polski
• Format:
  application/pdf
• Temat i słowa kluczowe:
  sekwenty modalne;
  zadaniowe logiki modalne;
  modele Kripkego;
  rachunek sekwentów;
  system Jaśkowskiego
• Identyfikator:
  RPS3775;
  http://hdl.handle.net/11089/54773
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  teksty