Rose Alan. Some self-dual primitive functions for propositional calculi. Mathematische Annalen, vol. 126 , pp. 144–148

Journal of Symbolic Logic 19 (4):294-295 (1954)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2267756

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

Review: Alan Rose, Some Self-Dual Primitive Functions for Propositional Calculi. [REVIEW]Robert McNaughton - 1954 - Journal of Symbolic Logic 19 (4):294-295.
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.
Some Self-Dual Primitive Functions for Propositional Calculi.Alan Rose - 1954 - Journal of Symbolic Logic 19 (4):294-295.
Rose Alan. Completeness of Łukasiewicz-Tarski propositional calculi. Mathematische Annalen, vol. 122 no. 3 , pp. 296–298. [REVIEW]A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (3):228-229.
Rose Alan. Conditioned disjunction as a primitive connective for the m-valued propositional calculus. Mathematische Annalen, vol. 123 , pp. 76–78. [REVIEW]A. R. Turquette - 1951 - Journal of Symbolic Logic 16 (4):275-275.
Rose Alan. A formalisation of the 2-valued propositional calculus with self-dual primitives. Mathematische Annalen, vol. 127 , pp. 255–257. [REVIEW]Alonzo Church - 1954 - Journal of Symbolic Logic 19 (4):295-295.
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):117-118.
Some formalisations of N0-valued propositional calculi.Alan Rose - 1956 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 2 (10-15):204-209.
Some many-valued propositional calculi without single generators.Alan Rose - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12):105-106.
Locally Full χ0-Valued Propositional Calculi.Alan Rose - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (13-15):217-226.
Formalisations of Certain Propositional Calculi with Partially Variable Functors.Alan Rose - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):177-180.
A Simplified Self m_‐AL Set of Primitive Functors for the _m‐Valued Propositional Calculus.Alan Rose - 1962 - Mathematical Logic Quarterly 8 (3-4):257-266.
Rose Alan. Self-dual primitives for modal logic. Mathematische Annalen, vol. 125 , pp. 284–286.Alonzo Church - 1953 - Journal of Symbolic Logic 18 (3):282-283.
Rose Alan. Some formalisations of ℵ0-valued prepositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 204–209. [REVIEW]Gene F. Rose - 1964 - Journal of Symbolic Logic 29 (4):213-213.
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Mathematical Logic Quarterly 22 (1):117-118.

Analytics

Added to PP
2016-06-30

Downloads
7 (#1,356,784)

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