BazHum - wyniki wyszukiwania

Wyniki

Checked:

On Theses without Iterated Modalities of Modal Logics Between C1 and S5 : Part 2

Anrzej Pietruszczak
Bulletin of the Section of Logic , 46 /3-4 (2017) s. 197-218
Dobry wujek Loniek

Anrzej Tomaszewski
Wiadomości Konserwatorskie - Journal of Heritage Conservation /2 (1997) s. 58
"Spór o konstytucję", Janina Zakrzewska, Warszawa 1993 : [recenzja]

Anrzej Kulig
Przegląd Sejmowy , 2 /2(6) (1994) s. 131-133
O pewnym ujęciu logiki tradycyjnej

Andrzej Pietruszczak
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 1 (224) (1991) s. 31-41
Stała Leśniewskiego w teoriach sylogistycznych : semantyczne badania pewnych kwantyfikatorowych rachunków nazw

Andrzej Pietruszczak
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 3 (255) (1992) s. 45-76
Rachunek zdań z implikacją konektywną Reichenbacha

Andrzej Pietruszczak
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 2 (235) (1991) s. 23-39
Standardowe rachunki nazw z funktorem Leśniewskiego

Andrzej Pietruszczak
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 1 (224) (1991) s. 5-29
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
Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami

Andrzej Pietruszczak
Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 2 (235) (1991) s. 41-52
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
An elementary proof of equivalence of the conditions in definition of conditionally distributive lattices

Marek Nasieniewski, Andrzej Pietruszczak
Bulletin of the Section of Logic , 26 /4 (1997) s. 193-196