The Decision Problem for Some Classes of Sentences Without Quantifiers

Journal of Symbolic Logic 9 (1):30-31 (1944)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267323

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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

The decision problem for some classes of sentences without quantifiers.J. C. C. McKinsey - 1943 - Journal of Symbolic Logic 8 (2):61-76.
McKinsey J. C. C.. The decision problem for some classes of sentences without quantifiers. [REVIEW]P. Lagerström - 1944 - Journal of Symbolic Logic 9 (1):30-31.
Review: J. C. C. McKinsey, The Decision Problem for Some Classes of Sentences Without Quantifiers. [REVIEW]P. Lagerström - 1944 - Journal of Symbolic Logic 9 (1):30-31.
Review: J. C. C. McKinsey, A Solution of the Decision Problem for the Lewis Systems S2 and S4, With an Application to Topology. [REVIEW]W. T. Parry - 1942 - Journal of Symbolic Logic 7 (3):118-119.
McKinsey J. C. C. and Tarski Alfred. Some theorems about the sentential calculi of Lewis and Heyting. [REVIEW]Leon Henkin - 1948 - Journal of Symbolic Logic 13 (3):171-172.
Review: Albert Hofstadter, J. C. C. McKinsey, On the Logic of Imperatives. [REVIEW]Frederic B. Fitch - 1940 - Journal of Symbolic Logic 5 (1):41-41.
McKinsey J. C. C.. On the syntactical construction of systems of modal logic. [REVIEW]Frederic B. Fitch - 1946 - Journal of Symbolic Logic 11 (3):98-99.
Review: J. C. C. McKinsey, On the Syntactical Construction of Systems of Modal Logic. [REVIEW]Frederic B. Fitch - 1946 - Journal of Symbolic Logic 11 (3):98-99.
Review: J. C. C. McKinsey, Reducible Boolean Functions. [REVIEW]Alonzo Church - 1936 - Journal of Symbolic Logic 1 (2):69-69.
McKinsey J. C. C.. Postulates for the calculus of binary relations.Everett J. Nelson - 1940 - Journal of Symbolic Logic 5 (4):167-168.

Analytics

Added to PP
2017-02-21

Downloads
7 (#1,407,497)

6 months
3 (#1,208,833)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Model-based recasting in answer-set programming.Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits & Stefan Woltran - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):75-104.
Decision procedure of some relevant logics: a constructive perspective.Jacques Riche - 2005 - Journal of Applied Non-Classical Logics 15 (1):9-23.

Add more citations

References found in this work

No references found.

Add more references