Note on a property of matrices for Lewis and Langford's calculi of propositions
From MaRDI portal
Publication:5778202
DOI10.2307/2268175zbMath0024.09703OpenAlexW2093157821MaRDI QIDQ5778202
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
Related Items
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics, Some structure results for propositional calculi, Many-valuedness from a universal logic perspective, A note on S5, The Logical Burdens of Proof. Assertion and Hypothesis, WHAT IS THE CORRECT LOGIC OF NECESSITY, ACTUALITY AND APRIORITY?, The single-minded pursuit of consistency and its weakness, Variations on Jaśkowski’s Discursive Logic, THE LOGIC OF AUTOMATA, Dugundji's theorem revisited, A lattice of normal modal logics, Some theorems about the sentential calculi of Lewis and Heyting, A Strange Remark Attributed to Gödel, Autoreferential semantics for many-valued modal logics, Non-deterministic logic of informal provability has no finite characterization, What is a non-truth-functional logic?, Provability as a deontic notion, A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology, An interpretation of Łukasiewicz's 4-valued modal logic
