Partial monotonic protothetics (Q1840652)

By protothetic the author means not the original Leśniewski system [\textit{S. Leśniewski}, Collected Works, Vol. 2, 410-605 (1992; Zbl 0765.03002)] (neither any of its latter versions), but Henkin's theory of propositional types [\textit{L. Henkin}, Fundam. Math. 52, 323-344 (1963; Zbl 0127.00609)], which is presented, in short, in the first section of the paper under review. Then a hierarchy of partial propositional functions is introduced, starting with the domain \(\{0,1,\bot\}\) of the basic type; here \(\bot\) means, as usual, `undefined'. This hierarchy underlies the concept of a partial interpretation of protothetics. The system of partial protothetic, consisting of 29 rules, is presented, and a Henkin-style completeness proof for it with respect to this ``partial'' semantics is given. In conclusion, the author notes that his metod of providing a complete partial type theory can be extended to general theory with a finite domain of individuals, and that it does not work if the number of individuals is infinite. Unlike Henkin's system, the presented theory does not contain a strong identity relation, and it is explained why it might be thought of as a kind of epistemic logic.