Tomasz Skura
6 articles in 2 journals
-
A new criterion of decidability for intermediate logics Published in: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 1 / p. 10 - 141990Plain Text
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 Published in: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 1 / p. 31 - 321992Plain Text
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 Published in: Logic and Logical Philosophy 2009 / Tom 18 / Numer 1 / p. 65 - 702009Plain Text
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 Published in: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3 / p. 102 - 1071990Plain Text
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 Published in: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 3 / p. 116 - 1201989Plain Text
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 Published in: Logic and Logical Philosophy 2015 / Tom 24 / Numer 2 / p. 241 - 2532015Plain Text
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" }
