Description

• Title:
  Intuicjonistyczny rachunek zdań z identycznością
• Creator:
  Łukowski, Piotr
• 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).;
  Przedmiotem rozprawy jest intuicjonistyczny rachunek zdań z identycznością. Rozdział pierwszy prezentuje pewną formalną bazę niezbędną do rozważań ISCI. Problemy w nim poruszane dotyczą jedynie intuicjonistycznego rachunku zdań. Rozdział drugi jest zasadniczą częścią pracy i dotyczy Intuicjonistycznego Rachunku Zdań z Identycznością. Rozpoczynają go rozważania na temat możliwości interpretacyjnych INT-modeli w kategoriach procesu zdobywania wiedzy prowadzące do określenia własności, które powinien posiadać ISCI-model. Rozdział ten prezentuje zarówno rachunek ISCI, jak i pojęcie ISCI-modelu, będące uogólnieniem pojęcia INT-modelu. W rozdziale trzecim znajduje się prezentacja intuicjonistycznej quasi-modalnej logiki (IQM). Rozważania interpretacyjne dotyczące BIML-modelu dotyczą zarówno sposobu rozumienia operatorów modalnych jak i kwestii ufundowania funktora konieczności w tej logice. W rozdziale czwartym określone są zależności między wybranymi ISCI-teoriami a odpowiednimi BIML-teoriami. Ponadto analizowane są różne rodzaje topologicznych algebr pseudo-Boole'owskich oraz ogólniejszej względem nich pseudo-Boole'owskiej wersji B-algebry, tzw. PB-algebry.;
  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:
  2024.12.11;
  1992
• Type:
  PhD/Doctoral Dissertation
• Language:
  Polish
• Format:
  application/pdf
• Subject:
  Klasyczny Rachunek Zdań z Identycznością (SCI);
  intuicjonistyczny rachunek zdań z identycznością;
  logika niefregowska;
  rachunek logiczny;
  logika klasyczna;
  ISCI-model;
  INT-model;
  BIML-model;
  algebry pseudo-Boole'owskie
• Identifier:
  RPS3490;
  http://hdl.handle.net/11089/53953
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  check license
• Type:
  text