论文信息 - Note on Deducibility and Many-Valuedness

Note on Deducibility and Many-Valuedness

Some of the theorems contained in the interesting and incisive paper [*] (D. J. Shoesmith and T. J. Smiley, Deducibility and many-valuedness , this Journal, vol. 36 (1970), pp. 610–622) are strongly connected with some earlier results, especially those presented in the paper of Łoś and Suszko [2]. The lack of appropriate bibliographical references in [*] shows that some results which have been obtained relatively long ago are, unfortunately, not so widely known as one might expect. The main task of this short note is to inform briefly on a few results and problems related to those examined in [*].

Ryszard Wójcicki

[1] A. R. Turquette,et al. Logic, Semantics, Metamathematics , 1957 .

[2] J. Łoś,et al. Remarks on sentential logics , 1958 .

[3] R. Wójcicki. The logics stronger than Łukasiewicz's three valued sentential calculus-the notion of degree of maximality versus the notion of degree of completeness , 1974 .

[4] Ryszard Wójcicki,et al. On matrix representations of consequence operations of Łlukasiewicz's sentential calculi , 1973 .

[5] R. Wójcicki. Matrix approach in methodology of sentential calculi , 1973 .

[6] R. Suszko. Concerning the method of logical schemes, the notion of logical calculus and the role of consequence relations , 1961 .

[7] R. Sikorski,et al. The mathematics of metamathematics , 1963 .

[8] R. Wójcicki,et al. Some remarks on the consequence operation in sentential logics , 1970 .