Logics and Admissible Rules of Constructive Set Theories

Rosalie Iemhoff; Robert Passmann

doi:10.1098/rsta.2022.0018

Logics and Admissible Rules of Constructive Set Theories

Rosalie Iemhoff^*, Robert Passmann

^*Corresponding author for this work

OFR - Theoretical Philosophy

University of Amsterdam

Research output: Contribution to journal › Article › Academic › peer-review

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’.

Original language	English
Pages (from-to)	1-17
Number of pages	17
Journal	Philosophical Transactions of the Royal Society A
Volume	381
Issue number	2248
DOIs	https://doi.org/10.1098/rsta.2022.0018
Publication status	Published - 29 May 2023

Keywords

logic
constructive set theory
substitution
extensible theories
admissible rules

Access to Document

10.1098/rsta.2022.0018Licence: CC BY

iemhoff-passmann-2023-logics-and-admissible-rules-of-constructive-set-theoriesFinal published version, 580 KBLicence: CC BY

Cite this

@article{0e532e8225e94214859e45c388835e12,

title = "Logics and Admissible Rules of Constructive Set Theories",

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 {\textquoteleft}Modern perspectives in Proof Theory{\textquoteright}.",

keywords = "logic, constructive set theory, substitution, extensible theories, admissible rules",

author = "Rosalie Iemhoff and Robert Passmann",

year = "2023",

month = may,

day = "29",

doi = "10.1098/rsta.2022.0018",

language = "English",

volume = "381",

pages = "1--17",

journal = "Philosophical Transactions of the Royal Society A",

issn = "1364-503X",

publisher = "The Royal Society",

number = "2248",

}

TY - JOUR

T1 - Logics and Admissible Rules of Constructive Set Theories

AU - Iemhoff, Rosalie

AU - Passmann, Robert

PY - 2023/5/29

Y1 - 2023/5/29

N2 - 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’.

AB - 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’.

KW - logic

KW - constructive set theory

KW - substitution

KW - extensible theories

KW - admissible rules

U2 - 10.1098/rsta.2022.0018

DO - 10.1098/rsta.2022.0018

M3 - Article

SN - 1364-503X

VL - 381

SP - 1

EP - 17

JO - Philosophical Transactions of the Royal Society A

JF - Philosophical Transactions of the Royal Society A

IS - 2248

ER -

Logics and Admissible Rules of Constructive Set Theories

Abstract

Keywords

Access to Document

Fingerprint

Cite this