Choice and independence of premise rules in intuitionistic set theory

Annals of Pure and Applied Logic 174 (9):103314 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Independence of irrelevant alternatives revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
Judgment aggregation: (Im)possibility theorems.Franz Dietrich - 2006 - Journal of Economic Theory 1 (126):286-298.
On the independence of premiss axiom and rule.Hajime Ishihara & Takako Nemoto - 2020 - Archive for Mathematical Logic 59 (7-8):793-815.
Linear independence without choice.Douglas Bridges, Fred Richman & Peter Schuster - 1999 - Annals of Pure and Applied Logic 101 (1):95-102.
Logical rules and the determinacy of meaning.Charles McCarty - 2018 - Studies in Logic, Grammar and Rhetoric 54 (1):89-98.
Intuitionistic ε- and τ-calculi.David Devidi - 1995 - Mathematical Logic Quarterly 41 (4):523-546.

Analytics

Added to PP
2023-07-07

Downloads
13 (#1,042,023)

6 months
4 (#798,550)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Rathjen
University of Leeds

Citations of this work

No citations found.

Add more citations

References found in this work

Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
Introduction to Higher Order Categorical Logic.J. Lambek & P. J. Scott - 1989 - Journal of Symbolic Logic 54 (3):1113-1114.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.
On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
Formal systems for some branches of intuitionistic analysis.G. Kreisel - 1970 - Annals of Mathematical Logic 1 (3):229.

View all 14 references / Add more references