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; 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)
08 Faculty of Science > Institute of Computer Science (INF) > Logic and Theory Group (LTG)

UniBE Contributor:

Jäger, Gerhard Max and Probst, Dieter

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:

03 Sep 2019 14:42

Publisher DOI:

10.1007/978-3-319-10103-3_15

BORIS DOI:

10.7892/boris.81090

URI:

https://boris.unibe.ch/id/eprint/81090

Actions (login required)

Edit item Edit item
Provide Feedback