Tomasz Jarmużek
11 artykuły w 3 czasopismach
-
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 - 722014CZYSTY TEKST
Tomasz Jarmużek, Bartosz Jerzy Kaczkowski, On Some Logic with a Relation Imposed on Formulae: Tableau System F, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 1-2, s. 53 - 72
BIBTEX@Article{ authors = " Tomasz Jarmużek, Bartosz Jerzy Kaczkowski", title = "On Some Logic with a Relation Imposed on Formulae: Tableau System F", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 1-2", pages = "53 - 72" }
-
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 - 1012007CZYSTY TEKST
Tomasz Jarmużek, Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets, Logic and Logical Philosophy, 2007 / Tom 16 / Numer 1, s. 85 - 101
BIBTEX@Article{ authors = " Tomasz Jarmużek", title = "Construction of tableaux for classical logic: Tableaux as combinations of branches, branches as chains of sets", journal = "Logic and Logical Philosophy", issue = "2007 / Tom 16 / Numer 1", pages = "85 - 101" }
-
Rozumowanie Mistrza a determinizm Opublikowano w: Analiza i Egzystencja 2016 / Tom 33 / s. 109 - 1162016CZYSTY TEKST
Tomasz Jarmużek, Mateusz Klonowski, Rozumowanie Mistrza a determinizm, Analiza i Egzystencja, 2016 / Tom 33, s. 109 - 116
BIBTEX@Article{ authors = " Tomasz Jarmużek, Mateusz Klonowski", title = "Rozumowanie Mistrza a determinizm", journal = "Analiza i Egzystencja", issue = "2016 / Tom 33", pages = "109 - 116" }
-
Reasoning about Social Phenomena Opublikowano w: Bulletin of the Section of Logic 2021 / Tom 50 / Numer 2 / s. 125 - 1292021CZYSTY TEKST
Tomasz Jarmużek, Fengkui Ju, Piotr Kulicki, Beishui Liao, Reasoning about Social Phenomena , Bulletin of the Section of Logic, 2021 / Tom 50 / Numer 2, s. 125 - 129
BIBTEX@Article{ authors = " Tomasz Jarmużek, Fengkui Ju, Piotr Kulicki, Beishui Liao", title = "Reasoning about Social Phenomena ", journal = "Bulletin of the Section of Logic", issue = "2021 / Tom 50 / Numer 2", pages = "125 - 129" }
-
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" }
-
Bayesian Propositional Logic Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 3-4 / s. 151 - 1682017CZYSTY TEKST
Tomasz Jarmużek, Mateusz Klonowski, Jacek Malinowski, Bayesian Propositional Logic , Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 3-4, s. 151 - 168
BIBTEX@Article{ authors = " Tomasz Jarmużek, Mateusz Klonowski, Jacek Malinowski", title = "Bayesian Propositional Logic ", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 3-4", pages = "151 - 168" }
-
Rekonstrukcje rozumowania Diodora Kronosa w ontologii czasu punktowego Opublikowano w: Analiza i Egzystencja 2006 / Tom 3 / s. 197 - 2152006CZYSTY TEKST
Tomasz Jarmużek, Rekonstrukcje rozumowania Diodora Kronosa w ontologii czasu punktowego, Analiza i Egzystencja, 2006 / Tom 3, s. 197 - 215
BIBTEX@Article{ authors = " Tomasz Jarmużek", title = "Rekonstrukcje rozumowania Diodora Kronosa w ontologii czasu punktowego", journal = "Analiza i Egzystencja", issue = "2006 / Tom 3", pages = "197 - 215" }
-
Master Argument vs. Sea-fight Tomorrow Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 3-4 / s. 205 - 2142009CZYSTY TEKST
Tomasz Jarmużek, Master Argument vs. Sea-fight Tomorrow, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 3-4, s. 205 - 214
BIBTEX@Article{ authors = " Tomasz Jarmużek", title = "Master Argument vs. Sea-fight Tomorrow", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 3-4", pages = "205 - 214" }
-
Modal Boolean Connexive Logics : Semantic and Tableau Approach Opublikowano w: Bulletin of the Section of Logic 2019 / Tom 48 / Numer 3 / s. 213 - 2432019CZYSTY TEKST
Tomasz Jarmużek, Jacek Malinowski, Modal Boolean Connexive Logics : Semantic and Tableau Approach , Bulletin of the Section of Logic, 2019 / Tom 48 / Numer 3, s. 213 - 243
BIBTEX@Article{ authors = " Tomasz Jarmużek, Jacek Malinowski", title = "Modal Boolean Connexive Logics : Semantic and Tableau Approach ", journal = "Bulletin of the Section of Logic", issue = "2019 / Tom 48 / Numer 3", pages = "213 - 243" }
-
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 - 2312008CZYSTY TEKST
Tomasz Jarmużek, Tableau System for Logic of Categorial Propositions and Decidability, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 3-4, s. 223 - 231
BIBTEX@Article{ authors = " Tomasz Jarmużek", title = "Tableau System for Logic of Categorial Propositions and Decidability", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 3-4", pages = "223 - 231" }
-
"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 - 2622007CZYSTY TEKST
Tomasz Jarmużek, David Makinson, "Bridges from Classical to Nonmonotonic Logic", David Makinson, Londyn 2005 : [recenzja], Logic and Logical Philosophy, 2007 / Tom 16 / Numer 2-3, s. 259 - 262
BIBTEX@Article{ authors = " Tomasz Jarmużek, David Makinson", title = ""Bridges from Classical to Nonmonotonic Logic", David Makinson, Londyn 2005 : [recenzja]", journal = "Logic and Logical Philosophy", issue = "2007 / Tom 16 / Numer 2-3", pages = "259 - 262" }
