On some alleged decision procedures for S

Journal of Symbolic Logic 31 (4):641-643 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269699

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

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

Review: William H. Hanson, On Some Alleged Decision Procedures for S4. [REVIEW]A. Bayart - 1970 - Journal of Symbolic Logic 35 (2):326-326.
William H. Hanson. On some alleged decision procedures for S4. The journal of symbolic logic, vol. 31 , pp. 641–643.A. Bayart - 1970 - Journal of Symbolic Logic 35 (2):326.
On some Alleged Decision Procedures for S4.H. Willam - 1997 - Journal of Symbolic Logic 31 (4):641-643.
On some Alleged Decision Procedures for S4.Hanson Willam H. - 1966 - Journal of Symbolic Logic 31 (4):641-643.
Review: William Keister, The Logic of Relay Circuits; S. H. Washburn, Relay "trees" and Symmetric Circuits. [REVIEW]Raymond J. Nelson - 1955 - Journal of Symbolic Logic 20 (2):197-197.
Review: F. William Lawvere, S. Eilenberg, D. K. Harrison, S. MacLane, H. Rohrl, The Category of Categories as a Foundation for Mathematics. [REVIEW]Calvin C. Elgot - 1974 - Journal of Symbolic Logic 39 (2):341-341.
Rudolf Carnap. Introduction to symbolic logic and its applications. Englische Übersetzung der XX 274 von William H. Meyer und John Wilkinson. Dover Publications, Inc., New York1958, xiv + 241 S. [REVIEW]H. Hermes - 1966 - Journal of Symbolic Logic 31 (2):287.
The complexity of decision procedures in relevance logic II.Alasdair Urquhart - 1999 - Journal of Symbolic Logic 64 (4):1774-1802.
Review: William H. Halberstadt, An Introduction to Modern Logic. An Elementary Textbook of Symbolic Logic. [REVIEW]Theodore Hailperin - 1964 - Journal of Symbolic Logic 29 (1):43-43.
On the Existence of Finite Models and Decision Procedures for Propositional Calculi.R. Harrop - 1960 - Journal of Symbolic Logic 25 (2):180-181.

Analytics

Added to PP
2009-01-28

Downloads
38 (#601,350)

6 months
10 (#436,689)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William Hanson
University of Minnesota

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references