Dependence of Some Axioms of Rose

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):189-192 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19720181204

Links

PhilArchive



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

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

Dependence of Some Axioms of Rose.Zane Parks - 1972 - Mathematical Logic Quarterly 18 (12):189-192.
Some theorems on the axioms of choice for finite sets.Martin M. Zuckerman - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (25):385-399.
A Complete Set of Axioms for Logical Formulas Invalid in Some Finite Domain.Theodore Hailperin - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):84-96.
Concerning the Axioms of Ackermann's Set Theory.Wojciech Buszkowski - 1985 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 31 (1-6):63-70.
Comparison of the axioms of local and global universality.Marco Forti & Furio Honsell - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (13‐16):193-196.
Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):169-176.
Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):443-444.
On the Addition of WeakenedL-Reduction Axioms to the Brouwer System.Michael Byrd - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):405-408.
Weak axioms of determinacy and subsystems of analysis I: δ20 games.Kazuyuki Tanaka - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):481-491.
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.

Analytics

Added to PP
2016-02-04

Downloads
23 (#160,613)

6 months
3 (#1,723,834)

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