On the semantic non-completeness of certain Lewis calculi

DOI10.2307/2266686zbMath0045.15001OpenAlexW2155088962MaRDI QIDQ5809944

Sören Halldén

Publication date: 1951

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

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

zbMATH Keywords

logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (12)

European summer meeting of the Association for Symbolic Logic ⋮ On variable separation in modal and superintuitionistic logics ⋮ \(\mathbf R\) and relevance principle revisited ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ S7 ⋮ The disjunction property of intermediate propositional logics ⋮ How far can Hume's is-ought thesis be generalized? An investigation in alethic-deontic modal predicate logic ⋮ Quasi-completeness in non-Fregean logic ⋮ A Lewisian Semantics for S2 ⋮ Systems of modal logic which are not unreasonable in the sense of Halldén ⋮ A semantical analysis of implicational system I and of the first degree of entailment ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

Cites Work

• Modalities in the Survey system of strict implication
• A note concerning the paradoxes of strict implication and Lewis's system SI
• Some theorems about the sentential calculi of Lewis and Heyting

This page was built for publication: On the semantic non-completeness of certain Lewis calculi