On the Addition of Weakened L‐Reduction Axioms to the Brouwer System

Mathematical Logic Quarterly 24 (25‐30):405-408 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19780242504

Other Versions

reprint Byrd, Michael (1978) "On the Addition of WeakenedL-Reduction Axioms to the Brouwer System". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24(25-30):405-408

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

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

Brouwer and Souslin on Transfinite Cardinals.John P. Burgess - 1980 - Mathematical Logic Quarterly 26 (14-18):209-214.
Extended Curry‐Howard terms for second‐order logic.Pimpen Vejjajiva - 2013 - Mathematical Logic Quarterly 59 (4-5):274-285.
Minimal Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1976 - Mathematical Logic Quarterly 22 (1):169-176.
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.Maria Bulińska - 2005 - Studia Logica 81 (1):43-59.
Alternative Axioms for Peirce's Triadic Logic.Atwell R. Turquette - 1978 - Mathematical Logic Quarterly 24 (25‐30):443-444.
Dependence of Some Axioms of Rose.Zane Parks - 1972 - Mathematical Logic Quarterly 18 (12):189-192.
On Axioms of Conditional Set Existence.Hao Wang - 1967 - Mathematical Logic Quarterly 13 (7‐12):183-188.
On Axioms of Conditional Set Existence.Hao Wang - 1967 - Mathematical Logic Quarterly 13 (7-12):183-188.

Analytics

Added to PP
2013-11-24

Downloads
23 (#945,235)

6 months
4 (#1,258,347)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On formulas in one variable in NEXT (KTB).Zofia Kostrzycka - 2006 - Bulletin of the Section of Logic 35 (2/3):119-131.

Add more citations

References found in this work

Temporal logic.Nicholas Rescher - 1971 - New York,: Springer Verlag. Edited by Alasdair Urquhart.

Add more references