Hughes G. E.. The independence of axioms in the propositional calculus. The Australasian journal of philosophy, vol. 35 , pp. 21–29 [Book Review]

Journal of Symbolic Logic 36 (3):546-546 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270020

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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 independence of axioms in the propositional calculus.G. E. Hughes - 1957 - Australasian Journal of Philosophy 35 (1):21 – 29.
Review: G. E. Hughes, The Independence of Axioms in the Propositional Calculus. [REVIEW]M. D. Gladstone - 1971 - Journal of Symbolic Logic 36 (3):546-546.
Independence of two nice sets of axioms for the propositional calculus.T. Thacher Robinson - 1968 - Journal of Symbolic Logic 33 (2):265-270.
On the independence of Henkin's axioms for fragments of the propositional calculus.Maurice L'abbé - 1951 - Journal of Symbolic Logic 16 (1):43-45.
Review: Maurice L'Abbe, On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus. [REVIEW]Sören Halldén - 1951 - Journal of Symbolic Logic 16 (3):228-228.
Independence of the axioms and rules of inference of one system of the extended propositional calculus.Nadejda Georgieva - 1971 - Notre Dame Journal of Formal Logic 12 (2):214-218.
The non-independence of axioms in a propositional calculus formulated in terms of axiom schemata.A. J. Dale - 1983 - Logique Et Analyse 26 (1):91.
Three contributions to the two-valued propositional calculus.Stanisław Jaśkowski - 1975 - Studia Logica 34 (1):121 - 132.
Review: Arata Ishimoto, A Note on the Paper "A Set of Axioms of the Modal Propositional Calculus Equivalent to S3."; Arata Ishimoto, A Formulation of the Modal Propositional Calculus Equivalent to S4. [REVIEW]A. N. Prior - 1957 - Journal of Symbolic Logic 22 (3):326-327.
An Axiomatisation of a Pure Calculus of Names.Piotr Kulicki - 2012 - Studia Logica 100 (5):921-946.
Peirce's axioms for propositional calculus.A. N. Prior - 1958 - Journal of Symbolic Logic 23 (2):135-136.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
On Independence Proofs in the Propositional Calculus.W. V. Quine - 1990 - Journal of Symbolic Logic 55 (1):345-346.
A Set of Axioms of the Modal Propositional Calculus Equivalent to S3.Arata Ishimoto - 1955 - Journal of Symbolic Logic 20 (2):169-169.
Single Axioms for the Systems , and of the Two- Valued Propositional Calculus.Carew A. Meredith - 1954 - Journal of Symbolic Logic 19 (2):143-144.

Analytics

Added to PP
2016-06-30

Downloads
10 (#1,165,120)

6 months
5 (#629,136)

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

No references found.

Add more references