Tomasz Skura
6 artykuły w 2 czasopismach
-
A new criterion of decidability for intermediate logics Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 1 / s. 10 - 141990CZYSTY TEKST
Tomasz Skura, A new criterion of decidability for intermediate logics, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 1, s. 10 - 14
BIBTEX@Article{ authors = " Tomasz Skura", title = "A new criterion of decidability for intermediate logics", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 1", pages = "10 - 14" }
-
Refutation rules for three modal logics Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 1 / s. 31 - 321992CZYSTY TEKST
Tomasz Skura, Refutation rules for three modal logics, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 1, s. 31 - 32
BIBTEX@Article{ authors = " Tomasz Skura", title = "Refutation rules for three modal logics", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 1", pages = "31 - 32" }
-
The RM paraconsistent refutation system Opublikowano w: Logic and Logical Philosophy 2009 / Tom 18 / Numer 1 / s. 65 - 702009CZYSTY TEKST
Tomasz Skura, The RM paraconsistent refutation system, Logic and Logical Philosophy, 2009 / Tom 18 / Numer 1, s. 65 - 70
BIBTEX@Article{ authors = " Tomasz Skura", title = "The RM paraconsistent refutation system", journal = "Logic and Logical Philosophy", issue = "2009 / Tom 18 / Numer 1", pages = "65 - 70" }
-
On pure refutation formulations of sentential logics Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3 / s. 102 - 1071990CZYSTY TEKST
Tomasz Skura, On pure refutation formulations of sentential logics, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 3, s. 102 - 107
BIBTEX@Article{ authors = " Tomasz Skura", title = "On pure refutation formulations of sentential logics", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 3", pages = "102 - 107" }
-
A complete syntactical characterization of the intuitionistic logic Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 3 / s. 116 - 1201989CZYSTY TEKST
Tomasz Skura, A complete syntactical characterization of the intuitionistic logic, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 3, s. 116 - 120
BIBTEX@Article{ authors = " Tomasz Skura", title = "A complete syntactical characterization of the intuitionistic logic", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 3", pages = "116 - 120" }
-
A system for proper multiple-conclusion entailment Opublikowano w: Logic and Logical Philosophy 2015 / Tom 24 / Numer 2 / s. 241 - 2532015CZYSTY TEKST
Tomasz Skura, Andrzej Wiśniewski, A system for proper multiple-conclusion entailment, Logic and Logical Philosophy, 2015 / Tom 24 / Numer 2, s. 241 - 253
BIBTEX@Article{ authors = " Tomasz Skura, Andrzej Wiśniewski", title = "A system for proper multiple-conclusion entailment", journal = "Logic and Logical Philosophy", issue = "2015 / Tom 24 / Numer 2", pages = "241 - 253" }
