Andrzej Pietruszczak
27 artykuły w 3 czasopismach
-
Aim, the scope and editorial policy of the journal Opublikowano w: Logic and Logical Philosophy 1993 / Tom 1 / s. 3 - 61993CZYSTY TEKST
Jerzy Perzanowski, Andrzej Pietruszczak, Aim, the scope and editorial policy of the journal, Logic and Logical Philosophy, 1993 / Tom 1, s. 3 - 6
BIBTEX@Article{ authors = " Jerzy Perzanowski, Andrzej Pietruszczak", title = "Aim, the scope and editorial policy of the journal", journal = "Logic and Logical Philosophy", issue = "1993 / Tom 1", pages = "3 - 6" }
-
O ścisłym wynikaniu logicznym i jego modyfikacji Opublikowano w: Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 1992 / Tom 3 (255) / s. 5 - 201992CZYSTY TEKST
Andrzej Pietruszczak, O ścisłym wynikaniu logicznym i jego modyfikacji , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992 / Tom 3 (255), s. 5 - 20
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "O ścisłym wynikaniu logicznym i jego modyfikacji ", journal = "Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika", issue = "1992 / Tom 3 (255)", pages = "5 - 20" }
-
Standardowe rachunki nazw z funktorem Leśniewskiego Opublikowano w: Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 1991 / Tom 1 (224) / s. 5 - 291991CZYSTY TEKST
Andrzej Pietruszczak, Standardowe rachunki nazw z funktorem Leśniewskiego , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991 / Tom 1 (224), s. 5 - 29
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Standardowe rachunki nazw z funktorem Leśniewskiego ", journal = "Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika", issue = "1991 / Tom 1 (224)", pages = "5 - 29" }
-
Rozstrzygalność w bezkwantyfikatorowym rachunku nazw Opublikowano w: Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 1992 / Tom 3 (255) / s. 21 - 431992CZYSTY TEKST
Andrzej Pietruszczak, Rozstrzygalność w bezkwantyfikatorowym rachunku nazw , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992 / Tom 3 (255), s. 21 - 43
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Rozstrzygalność w bezkwantyfikatorowym rachunku nazw ", journal = "Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika", issue = "1992 / Tom 3 (255)", pages = "21 - 43" }
-
Rachunek zdań z implikacją konektywną Reichenbacha Opublikowano w: Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 1991 / Tom 2 (235) / s. 23 - 391991CZYSTY TEKST
Andrzej Pietruszczak, Rachunek zdań z implikacją konektywną Reichenbacha , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991 / Tom 2 (235), s. 23 - 39
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Rachunek zdań z implikacją konektywną Reichenbacha ", journal = "Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika", issue = "1991 / Tom 2 (235)", pages = "23 - 39" }
-
O pewnym ujęciu logiki tradycyjnej Opublikowano w: Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 1991 / Tom 1 (224) / s. 31 - 411991CZYSTY TEKST
Andrzej Pietruszczak, O pewnym ujęciu logiki tradycyjnej , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991 / Tom 1 (224), s. 31 - 41
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "O pewnym ujęciu logiki tradycyjnej ", journal = "Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika", issue = "1991 / Tom 1 (224)", pages = "31 - 41" }
-
Semantical Investigations on Some Weak Modal Logics : part I Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 1-2 / s. 33 - 502012CZYSTY TEKST
Andrzej Pietruszczak, Semantical Investigations on Some Weak Modal Logics : part I, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 33 - 50
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Semantical Investigations on Some Weak Modal Logics : part I", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "33 - 50" }
-
Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami Opublikowano w: Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 1991 / Tom 2 (235) / s. 41 - 521991CZYSTY TEKST
Andrzej Pietruszczak, Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1991 / Tom 2 (235), s. 41 - 52
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Teoriomnogościowa formalizacja pewnej interpretacji formuł rachunku nazw z kwantyfikatorami ", journal = "Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika", issue = "1991 / Tom 2 (235)", pages = "41 - 52" }
-
New Axiomatizations of the Weakest Regular Modal Logic Defining Jaskowski's Logic D2 Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 1-2 / s. 45 - 502009CZYSTY TEKST
Marek Nasieniewski, Andrzej Pietruszczak, New Axiomatizations of the Weakest Regular Modal Logic Defining Jaskowski's Logic D2, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 1-2, s. 45 - 50
BIBTEX@Article{ authors = " Marek Nasieniewski, Andrzej Pietruszczak", title = "New Axiomatizations of the Weakest Regular Modal Logic Defining Jaskowski's Logic D2", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 1-2", pages = "45 - 50" }
-
Stała Leśniewskiego w teoriach sylogistycznych : semantyczne badania pewnych kwantyfikatorowych rachunków nazw Opublikowano w: Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika 1992 / Tom 3 (255) / s. 45 - 761992CZYSTY TEKST
Andrzej Pietruszczak, Stała Leśniewskiego w teoriach sylogistycznych : semantyczne badania pewnych kwantyfikatorowych rachunków nazw , Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika, 1992 / Tom 3 (255), s. 45 - 76
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Stała Leśniewskiego w teoriach sylogistycznych : semantyczne badania pewnych kwantyfikatorowych rachunków nazw ", journal = "Acta Universitatis Nicolai Copernici. Nauki Humanistyczno-Społeczne. Logika", issue = "1992 / Tom 3 (255)", pages = "45 - 76" }
-
The consequence relation preserving logical information Opublikowano w: Logic and Logical Philosophy 2004 / Tom 13 / s. 89 - 1202004CZYSTY TEKST
Andrzej Pietruszczak, The consequence relation preserving logical information, Logic and Logical Philosophy, 2004 / Tom 13, s. 89 - 120
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "The consequence relation preserving logical information", journal = "Logic and Logical Philosophy", issue = "2004 / Tom 13", pages = "89 - 120" }
-
Mereological sets of distributive classes Opublikowano w: Logic and Logical Philosophy 1996 / Tom 4 / s. 105 - 1221996CZYSTY TEKST
Andrzej Pietruszczak, Mereological sets of distributive classes, Logic and Logical Philosophy, 1996 / Tom 4, s. 105 - 122
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Mereological sets of distributive classes", journal = "Logic and Logical Philosophy", issue = "1996 / Tom 4", pages = "105 - 122" }
-
Semantical Investigations on Some Weak Modal Logics : part II Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 3-4 / s. 109 - 1302012CZYSTY TEKST
Andrzej Pietruszczak, Semantical Investigations on Some Weak Modal Logics : part II, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 3-4, s. 109 - 130
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Semantical Investigations on Some Weak Modal Logics : part II", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 3-4", pages = "109 - 130" }
-
On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1 Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 1-2 / s. 110 - 1322017CZYSTY TEKST
Andrzej Pietruszczak, On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 110 - 132
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "110 - 132" }
-
The axiomatization of Horst Wessel’s strict logical consequence relation Opublikowano w: Logic and Logical Philosophy 2004 / Tom 13 / s. 121 - 1382004CZYSTY TEKST
Andrzej Pietruszczak, The axiomatization of Horst Wessel’s strict logical consequence relation, Logic and Logical Philosophy, 2004 / Tom 13, s. 121 - 138
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "The axiomatization of Horst Wessel’s strict logical consequence relation", journal = "Logic and Logical Philosophy", issue = "2004 / Tom 13", pages = "121 - 138" }
-
Space, points and mereology : on foundations of point-free Euclidean geometry Opublikowano w: Logic and Logical Philosophy 2009 / Tom 18 / Numer 2 / s. 145 - 1882009CZYSTY TEKST
Rafał Gruszczyński, Andrzej Pietruszczak, Space, points and mereology : on foundations of point-free Euclidean geometry, Logic and Logical Philosophy, 2009 / Tom 18 / Numer 2, s. 145 - 188
BIBTEX@Article{ authors = " Rafał Gruszczyński, Andrzej Pietruszczak", title = "Space, points and mereology : on foundations of point-free Euclidean geometry", journal = "Logic and Logical Philosophy", issue = "2009 / Tom 18 / Numer 2", pages = "145 - 188" }
-
Completeness of Minimal Positional Calculus Opublikowano w: Logic and Logical Philosophy 2004 / Tom 13 / s. 147 - 1622004CZYSTY TEKST
Tomasz Jarmużek, Andrzej Pietruszczak, Completeness of Minimal Positional Calculus, Logic and Logical Philosophy, 2004 / Tom 13, s. 147 - 162
BIBTEX@Article{ authors = " Tomasz Jarmużek, Andrzej Pietruszczak", title = "Completeness of Minimal Positional Calculus", journal = "Logic and Logical Philosophy", issue = "2004 / Tom 13", pages = "147 - 162" }
-
Simplified Kripke Style Semantics for Modal Logics K45, KB4 and KD45 Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 3-4 / s. 163 - 1712009CZYSTY TEKST
Andrzej Pietruszczak, Simplified Kripke Style Semantics for Modal Logics K45, KB4 and KD45, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 3-4, s. 163 - 171
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Simplified Kripke Style Semantics for Modal Logics K45, KB4 and KD45", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 3-4", pages = "163 - 171" }
-
Semantics for Regular Logics Connected with Jaskowski's D2 Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 3-4 / s. 173 - 1872009CZYSTY TEKST
Marek Nasieniewski, Andrzej Pietruszczak, Semantics for Regular Logics Connected with Jaskowski's D2, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 3-4, s. 173 - 187
BIBTEX@Article{ authors = " Marek Nasieniewski, Andrzej Pietruszczak", title = "Semantics for Regular Logics Connected with Jaskowski's D2", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 3-4", pages = "173 - 187" }
-
A comparison of two systems of point-free topology Opublikowano w: Bulletin of the Section of Logic 2018 / Tom 47 / Numer 3 / s. 187 - 2002018CZYSTY TEKST
Rafał Gruszczyński, Andrzej Pietruszczak, A comparison of two systems of point-free topology, Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 3, s. 187 - 200
BIBTEX@Article{ authors = " Rafał Gruszczyński, Andrzej Pietruszczak", title = "A comparison of two systems of point-free topology", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 3", pages = "187 - 200" }
-
An elementary proof of equivalence of the conditions in definition of conditionally distributive lattices Opublikowano w: Bulletin of the Section of Logic 1997 / Tom 26 / Numer 4 / s. 193 - 1961997CZYSTY TEKST
Marek Nasieniewski, Andrzej Pietruszczak, An elementary proof of equivalence of the conditions in definition of conditionally distributive lattices, Bulletin of the Section of Logic, 1997 / Tom 26 / Numer 4, s. 193 - 196
BIBTEX@Article{ authors = " Marek Nasieniewski, Andrzej Pietruszczak", title = "An elementary proof of equivalence of the conditions in definition of conditionally distributive lattices", journal = "Bulletin of the Section of Logic", issue = "1997 / Tom 26 / Numer 4", pages = "193 - 196" }
-
The Weakest Regular Modal Logic Defining Jaskowski's Logic D2 Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 3-4 / s. 197 - 2102008CZYSTY TEKST
Marek Nasieniewski, Andrzej Pietruszczak, The Weakest Regular Modal Logic Defining Jaskowski's Logic D2, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 3-4, s. 197 - 210
BIBTEX@Article{ authors = " Marek Nasieniewski, Andrzej Pietruszczak", title = "The Weakest Regular Modal Logic Defining Jaskowski's Logic D2", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 3-4", pages = "197 - 210" }
-
Pieces of mereology Opublikowano w: Logic and Logical Philosophy 2005 / Tom 14 / Numer 2 / s. 211 - 2342005CZYSTY TEKST
Andrzej Pietruszczak, Pieces of mereology, Logic and Logical Philosophy, 2005 / Tom 14 / Numer 2, s. 211 - 234
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Pieces of mereology", journal = "Logic and Logical Philosophy", issue = "2005 / Tom 14 / Numer 2", pages = "211 - 234" }
-
On the Weakest Modal Logics Defining Jaskowski's Logic D2 and the D2-Consequence Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 3-4 / s. 215 - 2322012CZYSTY TEKST
Marek Nasieniewski, Andrzej Pietruszczak, On the Weakest Modal Logics Defining Jaskowski's Logic D2 and the D2-Consequence, Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 3-4, s. 215 - 232
BIBTEX@Article{ authors = " Marek Nasieniewski, Andrzej Pietruszczak", title = "On the Weakest Modal Logics Defining Jaskowski's Logic D2 and the D2-Consequence", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 3-4", pages = "215 - 232" }
-
On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theories Opublikowano w: Bulletin of the Section of Logic 2018 / Tom 47 / Numer 4 / s. 233 - 2632018CZYSTY TEKST
Marcin Łyczak, Andrzej Pietruszczak, On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theories , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 4, s. 233 - 263
BIBTEX@Article{ authors = " Marcin Łyczak, Andrzej Pietruszczak", title = "On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theories ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 4", pages = "233 - 263" }
-
Simplified Kripke style semantics for some very weak modal logics Opublikowano w: Logic and Logical Philosophy 2009 / Tom 18 / Numer 3-4 / s. 271 - 2962009CZYSTY TEKST
Andrzej Pietruszczak, Simplified Kripke style semantics for some very weak modal logics, Logic and Logical Philosophy, 2009 / Tom 18 / Numer 3-4, s. 271 - 296
BIBTEX@Article{ authors = " Andrzej Pietruszczak", title = "Simplified Kripke style semantics for some very weak modal logics", journal = "Logic and Logical Philosophy", issue = "2009 / Tom 18 / Numer 3-4", pages = "271 - 296" }
-
How to define a mereological (collective) set Opublikowano w: Logic and Logical Philosophy 2010 / Tom 19 / Numer 4 / s. 309 - 3282010CZYSTY TEKST
Rafał Gruszczyński, Andrzej Pietruszczak, How to define a mereological (collective) set, Logic and Logical Philosophy, 2010 / Tom 19 / Numer 4, s. 309 - 328
BIBTEX@Article{ authors = " Rafał Gruszczyński, Andrzej Pietruszczak", title = "How to define a mereological (collective) set", journal = "Logic and Logical Philosophy", issue = "2010 / Tom 19 / Numer 4", pages = "309 - 328" }
