Tomasz Skura
6 artykuły w 2 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
A new criterion of decidability for intermediate logics Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 1 / s. 10 - 14ROK: 1990CZYSTY TEKSTBIBTEX
-
Refutation rules for three modal logics Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 1 / s. 31 - 32ROK: 1992CZYSTY TEKSTBIBTEX
-
The RM paraconsistent refutation system Opublikowano w: Logic and Logical Philosophy 2009 / Tom 18 / Numer 1 / s. 65 - 70ROK: 2009CZYSTY TEKSTBIBTEX
-
On pure refutation formulations of sentential logics Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 3 / s. 102 - 107ROK: 1990CZYSTY TEKSTBIBTEX
-
A complete syntactical characterization of the intuitionistic logic Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 3 / s. 116 - 120ROK: 1989CZYSTY TEKSTBIBTEX
-
A system for proper multiple-conclusion entailment Opublikowano w: Logic and Logical Philosophy 2015 / Tom 24 / Numer 2 / s. 241 - 253ROK: 2015CZYSTY TEKSTBIBTEX
