Description

• Title:
  Sekwentowe i założeniowe formalizacje zadaniowych logik modalnych
• Creator:
  Indrzejczak, Andrzej
• Contributor:
  Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny
• Description:
  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.
• Object availability:
  free access
• Rights:
  Uznanie autorstwa 4.0 Międzynarodowe;
  http://creativecommons.org/licenses/by/4.0
• Date:
  2025.02.26;
  1997
• Type:
  PhD/Doctoral Dissertation
• Language:
  Polish
• Format:
  application/pdf
• Subject:
  sekwenty modalne;
  zadaniowe logiki modalne;
  modele Kripkego;
  rachunek sekwentów;
  system Jaśkowskiego
• Identifier:
  RPS3775;
  http://hdl.handle.net/11089/54773
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  text