On the Semantic Non-Completeness of Certain Lewis Calculi

&
Journal of Symbolic Logic 16 (4):273 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267915

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Halldén Sören. On the semantic non-completeness of certain Lewis calculi. [REVIEW]W. T. Parry - 1951 - Journal of Symbolic Logic 16 (4):273-273.
On the semantic non-completeness of certain Lewis calculi.Sören Halldén - 1951 - Journal of Symbolic Logic 16 (2):127 - 129.
Completeness theorems for some intermediate predicate calculi.Pierluigi Minari - 1983 - Studia Logica 42 (4):431 - 441.
Anshakov-Rychkov Algebras.Olga Ambas - 2001 - Notre Dame Journal of Formal Logic 42 (4):211-224.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.
Proofs and Countermodels in Non-Classical Logics.Sara Negri - 2014 - Logica Universalis 8 (1):25-60.
Complexity of interpolation and related problems in positive calculi.Larisa Maksimova - 2002 - Journal of Symbolic Logic 67 (1):397-408.
Labeled sequent calculi for modal logics and implicit contractions.Pierluigi Minari - 2013 - Archive for Mathematical Logic 52 (7-8):881-907.
Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity.Paulo Mateus, Amílcar Sernadas, Cristina Sernadas & Luca Viganò - 2004 - Logic Journal of the IGPL 12 (3):227-274.
Results concerning the decision problem of Lewis's calculi s3 and S.Sören Halldén - 1949 - Journal of Symbolic Logic 14 (4):230 - 236.
Halldén-completeness by gluing of Kripke frames.J. F. A. K. van Benthem & I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (4):426-430.
Trivializing sentences and the promise of semantic completeness.J. Beall - 2015 - Analysis 75 (4):573-584.
Halldén Sören. Results concerning the decision problem of Lewis's calculi S3 and S6. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (1):70-70.
Review: Soren Hallden, Results Concerning the Decision Problem of Lewis's Calculi S3 and S6. [REVIEW]A. R. Turquette - 1950 - Journal of Symbolic Logic 15 (1):70-70.
Halldén Completeness for Relevant Modal Logics.Takahiro Seki - 2015 - Notre Dame Journal of Formal Logic 56 (2):333-350.

Analytics

Added to PP
2013-11-22

Downloads
22 (#723,862)

6 months
4 (#837,857)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The relevance logic of Boolean groups.Yale Weiss - 2023 - Logic Journal of the IGPL 31 (1):96-114.
S7.Andrew David Irvine - 2013 - Journal of Applied Logic 11 (4):523-529.
A Lewisian Semantics for S2.Edwin Mares - 2013 - History and Philosophy of Logic 34 (1):53-67.
Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.

Add more citations

References found in this work

No references found.

Add more references