Cs(n)

an extension of cs

Ivo Thomas

pp. 40-54

in: Albert Menne (ed), Logico-philosophical studies, Berlin, Springer, 1962

Abstract

The formal system which is here presented, and which we designate by the name "CS(n)" is intended as an extension or remodelling of the system developed by I. M. Bocheński, in his article "On the Categorical Syllogism". We shall refer to the original system as "CS".¹