1. R. S. Grigolia, Algébrai?éskij analiz n-zna?nych logi?éskich sistém ?ukasiewicza-Tarskiego, Proceedings of Tbilisi University A 6?7 (149?150) (1973), Mathematical and Natural Sciences, Tbilisi, pp. 121?132.
2. G. Malinowski, Topics in the Theory of Strengthenings of Sentential Calculi, Polish Academy of Sciences, Institute of Philosophy and Sociology 1979.
3. W. A. Pogorzelski, The deduction theorem for ?ukasiewicz many-valued prepositional calculi, Studia Logica 15 (1964), pp. 7?23.
4. W. A. Pogorzelski and P. Wojtylak, Elements of the Theory of Completeness in Prepositional Logic, Silesian University, Katowice 1982.
5. A. Rose and J. B. Rosser, Fragments of many-valued statement calculi, Transactions of the American Mathematical Society 87 (1958), pp. 1?53.