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)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103314

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

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

Extensional Realizability and Choice for Dependent Types in Intuitionistic Set Theory.Emanuele Frittaion - 2023 - Journal of Symbolic Logic 88 (3):1138-1169.
Intuitionistic Logic and Elementary Rules.Lloyd Humberstone & David Makinson - 2011 - Mind 120 (480):1035-1051.
Intuitionistic logic and elementary rules.Ian Humberstone & David Makinson - 2011 - Mind 120:1035-1051.
Independence of irrelevant alternatives revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
Natural Semantics: Why Natural Deduction is Intuitionistic.James W. Garson - 2001 - Theoria 67 (2):114-139.
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.
Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice.Susumu Hayashi - 1980 - Annals of Mathematical Logic 19 (1):33.
Linear independence without choice.Douglas Bridges, Fred Richman & Peter Schuster - 1999 - Annals of Pure and Applied Logic 101 (1):95-102.
Weakly implementable social choice rules.Taradas Bandyopadhyay & Larry Samuelson - 1992 - Theory and Decision 33 (2):135-151.
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus.V. V. Rybakov - 1990 - Annals of Pure and Applied Logic 50 (1):71-106.
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.
Bell’s Theorem and the Issue of Determinism and Indeterminism.Michael Esfeld - 2015 - Foundations of Physics 45 (5):471-482.
A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC.Vladimir V. Rybakov, Mehmet Terziler & Vitaliy Remazki - 2000 - Mathematical Logic Quarterly 46 (2):207-218.

Analytics

Added to PP
2023-07-07

Downloads
13 (#1,036,661)

6 months
4 (#790,394)

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