Teodor Stępień
8 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On number of Lindenbaum's oversystems of propositional and predicate calculi Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 1 / s. 34 - 38ROK: 1985CZYSTY TEKSTBIBTEX
-
Lindenbaum's extensions Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 1 / s. 42 - 47ROK: 1981CZYSTY TEKSTBIBTEX
-
Logic based on atomic entailment Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 2 / s. 65 - 69ROK: 1985CZYSTY TEKSTBIBTEX
-
ROK: 1981CZYSTY TEKSTBIBTEX
-
A survey of minor Wajsberg's results concerning fragmentary systems of the classical propositional calculus Opublikowano w: Bulletin of the Section of Logic 1973 / Tom 2 / Numer 2 / s. 103 - 105ROK: 1973CZYSTY TEKSTBIBTEX
-
Craig-Godel-Lindenbaum's property and Sobicinski-Tarski's property in propositional calculi Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 3 / s. 116 - 121ROK: 1981CZYSTY TEKSTBIBTEX
-
Every two-valuated propositional calculus has the interpolation property Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 152 - 153ROK: 1980CZYSTY TEKSTBIBTEX
-
The sufficient and necessary condition for Tarski's property in Lindenbaum's extensions Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 4 / s. 222 - 224ROK: 1984CZYSTY TEKSTBIBTEX
