TYTUŁ

HYBRYDOWE SYSTEMY DEDUKCYJNE W LOGIKACH MODALNYCH

AUTOR
A. Indrzejczak

OPIS KSIĄŻKI:

Książka w bardzo dobrym stanie.
NOWA

Miękka oprawa

OPIS

Wprowadzenie

1 Preliminaria

1.1 Modalne języki zdaniowe.

1.2 Logiki modalne: ujęcie syntaktyczne

1.3 Semantyka relacyjna

1.3.1 Logiki normalne .

1.3.2 Pojęcia pomocnicze.

1.4 Systemy dedukcyjne, reguły, dowody

2. Typy systemów dedukcyjnych

2.1 Rodzaje systemów dedukcyjnych

2.2 Systemy oparte na regule cięcia .

2.2.1 Rezolucja .

2.2.2 Metoda Davisaj Putnama

2.2.3 Koneksja .

2.3 Systemy sekwentowe i tablicowe .

2.3.1 Rachunek sekwentów .

2.3.2 Systemy tablicowe

2.4 Cięcie a złożoność dowodu

2.5 Próba unifikacji . . . . . .

3 Dedukcja naturalna w KRZ

3.1 Systemy DN .

3.1.1 Kryteria naturalnej dedukcji.

3.1.2 Reguły i dowody w DN .

3.1.3 System KalishajMontague .

3.1.4 Adekwatność systemu

3.2 Analityczne wersje DN ..

3.2.1. KE i DN

3.2.2. System ADN2.

4 Przegląd formalizacji logik modalnych

4.1 Kryteria wyboru systemów .

4.2 Standardowe systemy dedukcyjne .

4.2.1 Rachunki sekwentów i systemy tablicowe.

4.2.2 Dedukcja naturalna oparta na poddowodach ścisłych

4.2.3 Korespondencja reguł

4.2.4 Ograniczenia standardowego podejścia syntaktycznego

4.2.5 Standardowe formalizacje semantyczne

4.3 Niestandardowe systemy dedukcyjne . . . . .

4.3.1 Systemy wyższego rzędu .

4.3.2 Systemy sekwentów n-arnych (n> 2) .

4.3.3 Systemy wielosekwentowe .

4.3.4 Systemy poszerzone o nowe strukturalne operacje

5 Systemy etykietowane w logice modalnej

5.1 Zastosowanie etykiet .

5.2 Podejście zinternalizowane - przypadek logik hybrydowych

5.3 Zewnętrzne zastosowanie etykiet

5.3.1 Minimalna etykietyzacja.

5.3.2 Mocna etykietyzacja .

5.3.3 Etykietyzacja pośrednia - podejście Fittinga .

5.4 Etykietowany system DN

5.4.1 System EDN dla K

5.4.2 Inne logiki normalne

5.4.3 Analityczne wersje EDN

6 Logiki linearne

6.1 Sposoby formalizowania linearności

6.1.1 Przegląd proponowanych formalizacji

6.1.2 Porównanie strategii linearyzacji

6.2 System dla S4.3

6.2.1 Reguła charakterystyczna i jej zastosowanie

6.2.2 Efektywność systemu.

6.3 EDN dla linearnych logik temporalnych

6.3.1 Formalizacja Kt4.3

6.3.2 Inne logiki linearne.

6.4 Pełność analitycznej wersji systemu

7 Hybrydowe DN oparte na rezolucji

7.1 Rezolucja i DN w KRZ .

7.1.1 DN oparte na klauzulach .

7.1.2 System RDN

7.1.3 Symulacja Rezolucji i DP w RDN .

7.2 Systemy RDN dla logik modalnych

7.2.1 Modalne RDN bez etykiet dla K .

7.2.2 MRDN dla wybranych logik modalnych

1.3 Systemy RDN z etykietami ..

7.3.1 Etykietowanie lokalne

7.3.2 Etykietowanie globalne.

7.3.3 Systemy RDN dla logik hybrydowych.

8 Konstruktywne dowody pełności

8.1 Automatyczna dedukcja w ADN1-KRZ

8.1.1 Budowanie zbiorów Hintikki .

8.1.2 Algorytmy dla ADN1

8.1.3 Optymalizacja .

8.2 Pełność EADN1 - logiki nielinearne .

8.2.1 Etykietowane zbiory Hintikki

8.2.2 Procedury stałe

8.2.3 Logiki nietranzytywne i niesymetryczne

8.2.4 Optymalizacja .

8.2.5 Logiki tranzytywne i kontrola pętli .

8.2.6 Nietranzytywne logiki symetryczne i euklidesowe

8.2.7 Tranzytywne logiki symetryczne i euklidesowe

8.3 Logiki linearne .

8.3.1 Poszerzanie łańcucha.

8.3.2 Algorytm szukania dowodu

8.3.3 Analiza najgorszego przypadku

Liczba stron: 288

POLECAM