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 -
Simplified Kripke Style Semantics for Modal Logics K45, KB4 and KD45
Andrzej Pietruszczak
Bulletin of the Section of Logic , 38 /3-4 (2009) s. 163-171 -
Semantical Investigations on Some Weak Modal Logics : part I
Andrzej Pietruszczak
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 33-50 -
Semantical Investigations on Some Weak Modal Logics : part II
Andrzej Pietruszczak
Bulletin of the Section of Logic , 41 /3-4 (2012) s. 109-130 -
On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1
Andrzej Pietruszczak
Bulletin of the Section of Logic , 46 /1-2 (2017) s. 110-132 -
Mereological sets of distributive classes
Andrzej Pietruszczak
Logic and Logical Philosophy 4 (1996) s. 105-122 -
The consequence relation preserving logical information
Andrzej Pietruszczak
Logic and Logical Philosophy 13 (2004) s. 89-120 -
The axiomatization of Horst Wessel’s strict logical consequence relation
Andrzej Pietruszczak
Logic and Logical Philosophy 13 (2004) s. 121-138 -
Pieces of mereology
Andrzej Pietruszczak
Logic and Logical Philosophy , 14 /2 (2005) s. 211-234 -
Simplified Kripke style semantics for some very weak modal logics
Andrzej Pietruszczak
Logic and Logical Philosophy , 18 /3-4 (2009) s. 271-296