A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions
| Contribuinte(s) |
Kahle, Reinhard Kahle, Reinhard Rathjen, Michael |
|---|---|
| Data(s) |
2015
|
| Resumo |
In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas. |
| Formato |
application/pdf application/pdf |
| Identificador |
http://boris.unibe.ch/81090/2/jp13.pdf 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 <http://dx.doi.org/10.1007/978-3-319-10103-3_15> doi:10.7892/boris.81090 info:doi:10.1007/978-3-319-10103-3_15 urn:isbn:978-3-319-10102-6 |
| Idioma(s) |
eng |
| Publicador |
Springer |
| Relação |
http://boris.unibe.ch/81090/ |
| Direitos |
info:eu-repo/semantics/restrictedAccess info:eu-repo/semantics/restrictedAccess |
| Fonte |
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 <http://dx.doi.org/10.1007/978-3-319-10103-3_15> |
| Palavras-Chave | #000 Computer science, knowledge & systems #510 Mathematics |
| Tipo |
info:eu-repo/semantics/bookPart info:eu-repo/semantics/publishedVersion PeerReviewed |
