Rose Alan. An extension of the calculus of non-contradiction. Proceedings of the London Mathematical Society, ser. 2 vol. 54 part 3 , pp. 184–200 [Book Review]

Journal of Symbolic Logic 18 (1):66-67 (1953)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266330

Links

PhilArchive



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

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: Alan Rose, An Extension of the Calculus of Non-Contradiction. [REVIEW]Frederic B. Fitch - 1953 - Journal of Symbolic Logic 18 (1):66-67.
An Extension of the Calculus of Non-Contradiction.Alan Rose - 1953 - Journal of Symbolic Logic 18 (1):66-67.
Rose Alan. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 , pp. 152–165.Rose Alan. A lattice-theoretic characterisation of the ℵ0-valued Propositional Calculus. Mathematische Annalen, vol. 123 , pp. 285–287.Rose Alan. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 , pp. 47–49. [REVIEW]A. R. Turquette - 1952 - Journal of Symbolic Logic 17 (2):147-148.
Rose Alan. The degree of completeness of the ℵ0-valued Łukasiewicz propositional calculus. The journal of the London Mathematical Society, vol. 28 , pp. 176–184. [REVIEW]Gene F. Rose - 1956 - Journal of Symbolic Logic 21 (3):328-328.
Rose Alan. The degree of completeness of the m-valued Łukasiewicz propositional calculus, Correction and addendum. Journal of the London Mathematical Society, vol. 44 , pp. 587–591. [REVIEW]Gene F. Rose - 1974 - Journal of Symbolic Logic 39 (2):350-350.
Review: Alan Rose, The $m$-Valued Calculus of Non-Contradiction. [REVIEW]Frederic B. Fitch - 1955 - Journal of Symbolic Logic 20 (2):180-181.
Rose Alan. A lattice-theoretic characterisation of three-valued logic. Journal of the London Mathematical Society, vol. 25 , pp. 255–259.Rose Alan. Post lattices. Norsk matematisk tidsskrift, vol. 32 , pp. 40–41. [REVIEW]Frederick B. Thompson - 1951 - Journal of Symbolic Logic 16 (2):151-151.
Goodstein R. L.. Function theory in an axiom-free equation calculus. Proceedings of the London Mathematical Society, ser. 2 vol. 48 part 6 , pp. 401–434. [REVIEW]J. C. C. McKinsey - 1946 - Journal of Symbolic Logic 11 (1):24-26.
Rose Alan. A note on the use of logical computers to determine the most efficient method of using factory machines. Proceedings of the Cambridge Philosophical Society, vol. 56 part 2 , pp. 186–188.Rose Alan. A high speed parallel adder. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 5 , pp. 240–249. [REVIEW]A. A. Mullin - 1962 - Journal of Symbolic Logic 27 (2):251-251.
A Formalisation of the Propositional Calculus Corresponding to Wang's Calculus of Partial Predicates.Alan Rose - 1963 - Mathematical Logic Quarterly 9 (12‐15):177-198.
The m-valued calculus of non-contradiction.Alan Rose - 1953 - Journal of Symbolic Logic 18 (3):237-241.
Rose Alan. A formalization of the C-0 propositional calculus. Proceedings of the Cambridge Philosophical Society, vol. 47 , pp. 635–636. [REVIEW]Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):66-66.
Review: Alan Rose, Strong Completeness of Fragments of the Propositional Calculus; Alan Rose, The Degree of Completeness of a Partial System of the 2-Valued Propositional Calculus. [REVIEW]R. C. Lyndon - 1952 - Journal of Symbolic Logic 17 (2):147-147.
The Calculus of Equivalent Statements, ap. Proceedings of the London Mathematical Society.[author unknown] - 1898 - Revue de Métaphysique et de Morale 6 (6):6-6.
A single axiom for a partial system of the propositional calculus.Alan Rose - 1955 - Mathematical Logic Quarterly 1 (3):196-197.

Analytics

Added to PP
2016-06-30

Downloads
1 (#1,902,993)

6 months
1 (#1,475,085)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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