Tomasz Jarmużek
11 artykuły w 3 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On Some Logic with a Relation Imposed on Formulae: Tableau System F Opublikowano w: Bulletin of the Section of Logic 2014 / Tom 43 / Numer 1-2 / s. 53 - 72ROK: 2014CZYSTY TEKSTBIBTEX
-
Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets Opublikowano w: Logic and Logical Philosophy 2007 / Tom 16 / Numer 1 / s. 85 - 101ROK: 2007CZYSTY TEKSTBIBTEX
-
Rozumowanie Mistrza a determinizm Opublikowano w: Analiza i Egzystencja 2016 / Tom 33 / s. 109 - 116ROK: 2016CZYSTY TEKSTBIBTEX
-
Reasoning about Social Phenomena Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 2 / s. 125 - 129ROK: 2021CZYSTY TEKSTBIBTEX
-
Completeness of Minimal Positional Calculus Opublikowano w: Logic and Logical Philosophy 2004 / Tom 13 / s. 147 - 162ROK: 2004CZYSTY TEKSTBIBTEX
-
Bayesian Propositional Logic Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 3-4 / s. 151 - 168ROK: 2017CZYSTY TEKSTBIBTEX
-
Rekonstrukcje rozumowania Diodora Kronosa w ontologii czasu punktowego Opublikowano w: Analiza i Egzystencja 2006 / Tom 3 / s. 197 - 215ROK: 2006CZYSTY TEKSTBIBTEX
-
Master Argument vs. Sea-fight Tomorrow Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 3-4 / s. 205 - 214ROK: 2009CZYSTY TEKSTBIBTEX
-
Modal Boolean Connexive Logics : Semantic and Tableau Approach Opublikowano w: Bulletin of the Section of Logic 2019 / Tom 48 / Numer 3 / s. 213 - 243ROK: 2019CZYSTY TEKSTBIBTEX
-
Tableau System for Logic of Categorial Propositions and Decidability Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 3-4 / s. 223 - 231ROK: 2008CZYSTY TEKSTBIBTEX
-
"Bridges from Classical to Nonmonotonic Logic", David Makinson, Londyn 2005 : [recenzja] Opublikowano w: Logic and Logical Philosophy 2007 / Tom 16 / Numer 2-3 / s. 259 - 262ROK: 2007CZYSTY TEKSTBIBTEX
