Józef Wajszczyk
LOGIKI W LOGICE. O rekonstruowalności nieklasycznych rachunków zdaniowych w logice temporalnej
I. Wybrane informacje z teorii rachunków zdaniowych
II. Algebry temporalne i pseudotemporalne
III. Semantyki algebraiczne związane z algebrami temporalnymi czasu liniowego skończonego
IV. Syntaktyczna charakterystyka Cn1n, Cn2n, Cn3n
V. Rekonstruowalność intuicjonistycznej logiki zdaniowej w logice temporalnej TIN
VI. Rekonstruowalność logik Godla-Thomasa w logikach temporalnych czasu liniowego skończonego
VII. Rekonstruowalność logiki liniowej w logice temporalnej czasu liniowego, dyskretnego z momentem początkowym i bez końcowego
VIII. Rekonstruowalność skończenie wielowartościowych logik Łukasiewicza w logikach temporalnych czasu liniowego skończonego
IX. Rekonstruowalność wielowartościowych logik Posta-Rousseau w logikach temporalnych
X. Rekonstruowalność logiki kierunkowej L.S. Rogowskiego w logice temporalnej
XI. Rekonstruowalność logiki niefregowskiej WH R. Suszki w logice temporalnej
Wydawnictwo: UWM
Rok wydania: 2001
Stron: 106
Okładka: miękka
Stan ogólny: BDB, zdjęcie poniżej
Dodatkowe uwagi: książka nowa