Note on a property of matrices for Lewis and Langford's calculi of propositions. (Q2589528)

Auf eine analoge Art, wie \textit{K. Gödel} (Ergebn. math. Kolloqu. Wien 4 (1933), 40; F. d. M. \(59_{\text{II}}\), 866) für den intuitionistischen Aussagenkalkül gezeigt hat, wird in dem vorliegenden Aufsatz bewiesen, daß es zu keinem der Systeme \(S1 - S5\) von Lewis und Langford's Aussagenkalkül, der auf der ``strict implication'' aufgebaut ist (\textit{Lewis, Langford}, Symbolic logic, 1932; F. d. M. \(58_{\text I}\), 56), eine endliche adäquate Matrix gibt. Weiter wird gezeigt, daß auch das System, das auf \(B1 - B8\) und \(\diamond\diamond p\) (in der Bezeichnungsweise von Lewis und Langford) aufgebaut ist, keine derartige Matrix besitzt.