On Possibilities of Interpreting Lukasiewicz' Trivalent Logic by Means of J. Słupecki's Method

Abstract

The aim of this article is to evaluate critically possibilities of interpreting Łukasiewicz logic by means of J.Słupecki s method presented in reference (1). In paragraph 1, we are giving a formal construction on which the method of partial interpretation Ƚ₃ is based. Paragraph 2 contains initial assumptions through which prof. J. Słupecki obtains the partial interpretation Ƚ₃ In paragraph 3, we prove that the way of obtaining this interpretation is really based on the construction from paragraph 1. Finally, in paragraph 4, we present our opinion on the interpretation Ƚ₃. We prove that this interpretation cannot be obtained by means of the applied method.