Logics and admissible rules of constructive set theories-Reference-Cited by-同舟云学术

Logics and admissible rules of constructive set theories

Published:2023-04-10 Issue:2248 Volume:381 Page:
ISSN:1364-503X
Container-title:Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
language:en
Short-container-title:Phil. Trans. R. Soc. A.

Author:

Iemhoff Rosalie¹^ORCID,Passmann Robert²

Affiliation:

1. Department of Philosophy and Religious Studies, Utrecht University, Janskerkhof 13, 3512 BL Utrecht, The Netherlands

2. Institute for Logic, Language and Computation, University of Amsterdam, PO Box 94242, 1090 GE Amsterdam, The Netherlands

Abstract

We survey the logical structure of constructive set theories and point towards directions for future research. Moreover, we analyse the consequences of being extensible for the logical structure of a given constructive set theory. We finally provide examples of a number of set theories that are extensible. This article is part of the theme issue ‘Modern perspectives in Proof Theory’.

Publisher

The Royal Society

Subject

General Physics and Astronomy,General Engineering,General Mathematics

Link

https://royalsocietypublishing.org/doi/pdf/10.1098/rsta.2022.0018

Reference27 articles.

1. Axiom of choice and complementation

2. Choice Implies Excluded Middle

3. The maximality of the intuitionistic predicate calculus with respect to Heyting’s arithmetic;de Jongh D;J. Symbolic Logic,1970

4. Rules and Arithmetics

5. Rybakov V. 1997 Admissibility of logical inference rules. Amsterdam, The Netherlands: Elsevier.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modern perspectives in Proof Theory;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10