Wyniki
-
System S-bar
Teodor Stępień
Bulletin of the Section of Logic , 10 /2 (1981) s. 75-79 -
Craig-Godel-Lindenbaum's property and Sobicinski-Tarski's property in propositional calculi
Teodor Stępień
Bulletin of the Section of Logic , 10 /3 (1981) s. 116-121 -
The sufficient and necessary condition for Tarski's property in Lindenbaum's extensions
Teodor Stępień
Bulletin of the Section of Logic , 13 /4 (1984) s. 222-224 -
On number of Lindenbaum's oversystems of propositional and predicate calculi
Teodor Stępień
Bulletin of the Section of Logic , 14 /1 (1985) s. 34-38 -
Logic based on atomic entailment
Teodor Stępień
Bulletin of the Section of Logic , 14 /2 (1985) s. 65-69