A Single‐Axiom Impligational Calculus of Given Unsolvability

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (13‐17):193-204 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680141302

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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

A Single‐Axiom Impligational Calculus of Given Unsolvability.M. D. Gladstone - 1968 - Mathematical Logic Quarterly 14 (13-17):193-204.
A single axiom for a partial system of the propositional calculus.Alan Rose - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (3):196-197.
Machine Configuration and Word Problems of Given Degree of Unsolvability.J. C. Shepherdson - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):149-175.
Rose Alan. A single axiom for a partial system of the propositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 196–197. [REVIEW]Gene F. Rose - 1959 - Journal of Symbolic Logic 24 (2):176-176.
Single Primitive Ternary Connectives for the 2-Valued Propositional Calculus.R. A. Cuninghame-Green - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (7-13):206-207.
Distributive Initial Segments of the Degrees of Unsolvability.A. H. Lachlan - 1968 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 14 (30):457-472.
Single generators for Henkinian fragments of the 2-valued propositional calculus.Alan Rose - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (6):85-92.
The ϱ-Calculus.C. K. R. T. Jones & P. J. Kelemen - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (7):97-110.
A Problem on the Axiom of Choice.A. H. Kruse - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):207-218.
Some Observations on the Axiom of Choice.Arthur H. Kruse - 1962 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 8 (2):125-146.

Analytics

Added to PP
2013-11-24

Downloads
37 (#118,170)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.

Add more references