The one-one equivalence of some general combinatorial decision problems

&
Notre Dame Journal of Formal Logic 18 (2):305-309 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093887936

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,063

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 one-one equivalence of some general combinatorial decision problems.Charles E. Hughes - 1977 - Notre Dame Journal of Formal Logic 18:305.
Singletary W. E.. Results regarding the axiomatization of partial prepositional calculi. Notre Dame journal of formal logic, vol. 9 no. 3 , pp. 193–211. [REVIEW]Ronald Harrop - 1971 - Journal of Symbolic Logic 36 (1):172-172.
Carl E. Bredlau. Regressive functions and combinatorial functions. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 301–310. [REVIEW]Louise Hay - 1973 - Journal of Symbolic Logic 38 (2):333.
Some remarks on equivalence in infinitary and stationary logic.Matt Kaufmann - 1984 - Notre Dame Journal of Formal Logic 25 (4):383-389.
Extensional equivalence of simple and general utilitarian principles.Donald E. Nute - 1979 - Notre Dame Journal of Formal Logic 20 (1):32-36.
A simple decision procedure for one-variable implicational/negation formulae in intuitionist logic.Storrs McCall - 1962 - Notre Dame Journal of Formal Logic 3 (2):120-122.
Combinatorial systems with axiom.C. E. Hughes - 1973 - Notre Dame Journal of Formal Logic 14:354.
The "conditionatim"-clause: one of the problems of existential import in the history of logic.Ivan Boh - 1977 - Notre Dame Journal of Formal Logic 18 (3):459-466.
A generalization of combinatorial operators.Anna Silverstein - 1978 - Notre Dame Journal of Formal Logic 19 (4):639-645.
Combinatorial systems with axiom.C. E. Hughes & W. E. Singletary - 1973 - Notre Dame Journal of Formal Logic 14 (3):354-360.

Analytics

Added to PP
2010-08-24

Downloads
37 (#601,180)

6 months
15 (#194,860)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Triadic partial implicational propositional calculi.Charles E. Hughes - 1975 - Mathematical Logic Quarterly 21 (1):21-28.

Add more citations

References found in this work

No references found.

Add more references