Logics and Admissible Rules of Constructive Set Theories
Publication date
2023-05-29
Authors
Iemhoff, Rosalie
Passmann, Robert
Editors
Advisors
Supervisors
Document Type
Article
Metadata
Show full item recordCollections
License
cc_by
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’.
Keywords
logic, constructive set theory, substitution, extensible theories, admissible rules
Citation
Iemhoff, R & Passmann, R 2023, 'Logics and Admissible Rules of Constructive Set Theories', Philosophical Transactions of the Royal Society A, vol. 381, no. 2248, pp. 1-17. https://doi.org/10.1098/rsta.2022.0018