A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

Jäger, Gerhard; Probst, Dieter (2015). A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions. In: Kahle, Reinhard; Kahle, Reinhard; Rathjen, Michael (eds.) Gentzen's Centenary - The Quest for Consistency (pp. 425-454). Springer 10.1007/978-3-319-10103-3_15

[img] Text
Jaeger, Probst - A proof-theoretic analysis of theories for stratified inductive definitions.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (336kB) | Request a copy
[img] Text
jp13.pdf - Accepted Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (377kB) | Request a copy

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.

Item Type: Book Section (Book Chapter)
Division/Institute: 08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)
08 Faculty of Science > Institute of Computer Science (INF)
UniBE Contributor: Jäger, Gerhard; Probst, Dieter and Kahle, Reinhard
Subjects: 000 Computer science, knowledge & systems
500 Science > 510 Mathematics
ISBN: 978-3-319-10102-6
Publisher: Springer
Language: English
Submitter: Lukas Jaun
Date Deposited: 13 May 2016 12:44
Last Modified: 13 May 2016 12:44
Publisher DOI: 10.1007/978-3-319-10103-3_15
BORIS DOI: 10.7892/boris.81090
URI: http://boris.unibe.ch/id/eprint/81090

Actions (login required)

Edit item Edit item
Provide Feedback