Teodor Stępień
8 artykuły w 1 czasopismach
-
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 - 381985CZYSTY TEKST
Teodor Stępień, On number of Lindenbaum's oversystems of propositional and predicate calculi, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 1, s. 34 - 38
BIBTEX@Article{ authors = " Teodor Stępień", title = "On number of Lindenbaum's oversystems of propositional and predicate calculi", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 1", pages = "34 - 38" }
-
Lindenbaum's extensions Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 1 / s. 42 - 471981CZYSTY TEKST
Andrzej Biela, Teodor Stępień, Lindenbaum's extensions, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 1, s. 42 - 47
BIBTEX@Article{ authors = " Andrzej Biela, Teodor Stępień", title = "Lindenbaum's extensions", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 1", pages = "42 - 47" }
-
Logic based on atomic entailment Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 2 / s. 65 - 691985CZYSTY TEKST
Teodor Stępień, Logic based on atomic entailment, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 2, s. 65 - 69
BIBTEX@Article{ authors = " Teodor Stępień", title = "Logic based on atomic entailment", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 2", pages = "65 - 69" }
-
1981CZYSTY TEKST
Teodor Stępień, System S-bar, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 75 - 79
BIBTEX@Article{ authors = " Teodor Stępień", title = "System S-bar", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "75 - 79" }
-
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 - 1051973CZYSTY TEKST
Teodor Stępień, A survey of minor Wajsberg's results concerning fragmentary systems of the classical propositional calculus, Bulletin of the Section of Logic, 1973 / Tom 2 / Numer 2, s. 103 - 105
BIBTEX@Article{ authors = " Teodor Stępień", title = "A survey of minor Wajsberg's results concerning fragmentary systems of the classical propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1973 / Tom 2 / Numer 2", pages = "103 - 105" }
-
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 - 1211981CZYSTY TEKST
Teodor Stępień, Craig-Godel-Lindenbaum's property and Sobicinski-Tarski's property in propositional calculi, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 3, s. 116 - 121
BIBTEX@Article{ authors = " Teodor Stępień", title = "Craig-Godel-Lindenbaum's property and Sobicinski-Tarski's property in propositional calculi", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 3", pages = "116 - 121" }
-
Every two-valuated propositional calculus has the interpolation property Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 4 / s. 152 - 1531980CZYSTY TEKST
Zdzisław Dywan, Teodor Stępień, Every two-valuated propositional calculus has the interpolation property, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 4, s. 152 - 153
BIBTEX@Article{ authors = " Zdzisław Dywan, Teodor Stępień", title = "Every two-valuated propositional calculus has the interpolation property", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 4", pages = "152 - 153" }
-
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 - 2241984CZYSTY TEKST
Teodor Stępień, The sufficient and necessary condition for Tarski's property in Lindenbaum's extensions, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 4, s. 222 - 224
BIBTEX@Article{ authors = " Teodor Stępień", title = "The sufficient and necessary condition for Tarski's property in Lindenbaum's extensions", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 4", pages = "222 - 224" }