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

DOI10.2307/2268175MaRDI QIDQ2589528zbMATH OpenOpenAlexFDO

Authors J. Dugundji

Publication date 1940

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2268175

Review text

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.

Cited in

(2)

• A Gödel-Dugundji-style theorem for the minimal structural logic
• Ivlev-like modal logics of formal inconsistency obtained by fibring swap structures

This page was built for publication: Note on a property of matrices for Lewis and Langford's calculi of propositions.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2589528)