Znaleziono 7 artykułów

Andrzej Pietruszczak

Tytuł artykułu    Autorzy Strony Czynności
Standardowe rachunki nazw z funktorem Leśniewskiego Andrzej Pietruszczak s. 5-29
O ścisłym wynikaniu logicznym i jego modyfikacji Andrzej Pietruszczak s. 5-20
Rozstrzygalność w bezkwantyfikatorowym rachunku nazw Andrzej Pietruszczak s. 21-43
Rachunek zdań z implikacją konektywną Reichenbacha Andrzej Pietruszczak s. 23-39
O pewnym ujęciu logiki tradycyjnej Andrzej Pietruszczak s. 31-41
Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami Andrzej Pietruszczak s. 41-52
Stała Leśniewskiego w teoriach sylogistycznych : semantyczne badania pewnych kwantyfikatorowych rachunków nazw Andrzej Pietruszczak s. 45-76