|
| e-księgarnia antykwariat
PARALALA
tel.+48 [zasłonięte]692520
[zasłonięte]@poczta.onet.pl
|
|
|
|
|
|
KATEGORIE - kliknij i wybierz:
|
|
|
|
|
|
47 1020 [zasłonięte] 5[zasłonięte]0110002 [zasłonięte] 002439
57 1140 [zasłonięte] 2[zasłonięte]0040002 [zasłonięte] 609236
tytułem: nick i nr aukcji
|
|
|
|
|
|
I. PRZEDPŁATA NA KONTO:
*1 książka - priorytet 8,50 zł
*2 książki - priorytet 9zł
*3 i więcej - priorytet GRATIS !
II. PRZESYŁKA POBRANIOWA (przy odbiorze):
* 1 książka
- ekonomiczna - 12,50 zł
- priorytet - 15,50 zł
* 2 książki
- ekonomiczna - 14,00 zł
- priorytet - 17,00 zł
*3 książki i więcej
- ekonomiczna - 16,00 zł
- priorytet - 19,00 zł
|
|
|
|
| |
|
|
| LOGIKI W LOGICE O rekonstruowalności nieklasycznych
rachunków zdaniowych w logice temporalnej
Józef Wajszczyk
rok: 2001
____________________________________________________
SPIS TREŚCI
Uwagi wstępne 7
Uwagi na temat notacji 12
Rozdział I. Wybrane informacje z teorii rachunków zdaniowych 15
Rozdział II. Algebry temporalne i pseudotemporalne 21
Rozdział III. Semantyki algebraiczne związane z algebrami temporalnymi czasu liniowego skończonego 26
Rozdział IV Syntaktyczna charakterystyka Cn^, Cn%, Cn„ 34
Rozdział V. Rekonstruowalność intuicjonistycznej logiki zdaniowej
w logice temporalnej TIN 53
Rozdział VI. Rekonstruowalność logik Godla-Thomasa w logikach
temporalnych czasu liniowego skończonego 66
Rozdział VII. Rekonstruowalność logiki liniowej w logice temporalnej czasu liniowego, dyskretnego z momentem początkowym
i bez końcowego 72
Rozdział VIII. Rekonstruowalność skończenie wielowartościowych logik Łukasiewicza w logikach temporalnych czasu liniowego
skończonego 79
Rozdział IX. Rekonstruowalność wielowartościowych logik Posta-Rousseau w logikach temporalnych 87
Rozdział X. Rekonstruowalność logiki kierunkowej L. S. Rogowskiego w logice temporalnej 91
Rozdział XI. Rekonstruowalność logiki niefregowskiej
WH R. Suszki
w logice temporalnej 96
Zakończenie 103
Bibliografia : 105
|
| |
