Note on a property of matrices for Lewis and Langford's calculi of propositions. (Q2589528)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2508877
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Note on a property of matrices for Lewis and Langford's calculi of propositions. |
scientific article; zbMATH DE number 2508877 |
Statements
Note on a property of matrices for Lewis and Langford's calculi of propositions. (English)
0 references
1940
0 references
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.
0 references
