Wyniki
-
O pewnym ujęciu logiki tradycyjnej
Andrzej Pietruszczak
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 1 (224) (1991) s. 31-41 -
Rachunek zdań z implikacją konektywną Reichenbacha
Andrzej Pietruszczak
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 2 (235) (1991) s. 23-39 -
O ścisłym wynikaniu logicznym i jego modyfikacji
Andrzej Pietruszczak
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 3 (255) (1992) s. 5-20 -
Rozstrzygalność w bezkwantyfikatorowym rachunku nazw
Andrzej Pietruszczak
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 3 (255) (1992) s. 21-43