Zapisz się, by otrzymywać informacje o nowościach wydawniczych i spotkaniach.

Zamknij
1 19,00 

Logika 25. On Modal Systems in the Neighbourhood of the Brouwer Logic


Monografia Zofii Kostrzyckiej “On Modal Systems in the Neighborhood of the Brouwer Logic” poświęcona jest interesującej klasie zdaniowych normalnych logik modalnych, będących wzmocnieniami ligiki KTB, czyli tzw. logiki B (od nazwiska Brouwera). Analizowana w pracy klasa rachunków to logiki tworzące łańcuch wzmocnień nad B zamknięty od góry logiką S5 = T1. W sensie semantycznym są one charakteryzowane przez klasy struktur relacyjnych, w których relacja osiągalności, oprócz zwrotności i symetrii, ma własność n-przechodniości. Klasa ta została zidentyfikowana przez I. Thomasa w latach 60., a następnie badana m.in. przez T. Kowalskiego i Y. Miyazaki. Praca dr Z. Kostrzyckiej to podsumowanie tych badań oraz ich istotne wzmocnienie uzyskanymi wynikami własnymi. Jest to wyczerpująca monografia tematu, przy czym na uwagę zasługuje sprawność autorki w posługiwaniu się formalnym aparatem wykorzystywanym współcześnie w badaniach nad logikami modalnymi.

Powrót

Specyfikacja techniczna

ISBN
978-83-229-3119-6
ISSN
2657-4470
Liczba stron
104
Format
e-book
Rok wydania
2010

O autorce

Ten serwis w celu prawidłowego działania używa plików cookies. Brak zmiany ustawień przeglądarki oznacza zgodę na ich użycie.
Szczegółowe informacje znajdziesz w Polityce cookies.
Zamknij