scientific article; zbMATH DE number 1950268
From MaRDI portal
Publication:4412866
Recommendations
- A generalization of the second incompleteness theorem and some exceptions to it
- On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction
- About the characterization of a fine line that separates generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableau deduction
- scientific article; zbMATH DE number 1612566
- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
Cited in
(9)- How to extend the semantic tableaux and cut-free versions of the second incompleteness theorem almost to Robinson's arithmetic q
- An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency
- On the broader epistemological significance of self-justifying axiom systems
- On the tender line separating generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableaux deduction
- A generalization of the second incompleteness theorem and some exceptions to it
- Peano's smart children: A provability logical study of systems with built-in consistency
- About the characterization of a fine line that separates generalizations and boundary-case exceptions for the second incompleteness theorem under semantic tableau deduction
- scientific article; zbMATH DE number 1612566 (Why is no real title available?)
- Automated Reasoning with Analytic Tableaux and Related Methods
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4412866)
