Logiki w logice

o rekonstruowalności nieklasycznych rachunków zadaniowych w logice temporalnej

ilość stron:106

format:16,5 x 23,8 cm

Spis treści:

Uwagi wstępne

Uwagi na temat notacji

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

Zakończenie

 Bibliografia

UWAGA!!!

Regulamin zakupów znajdują się na stronie „o mnie”

Koszt wysyłki na aukcji skalkulowany jest dla 1 szt danego artykułu. Przy zakupie większej ilości sztuk lub na kilku aukcjach proszę o kontakt w celu ustalenia kosztów wysyłki zgodnych z wagą i gabarytem zakupionych przedmiotów