Recommendations
Cites work
- scientific article; zbMATH DE number 4174895 (Why is no real title available?)
- scientific article; zbMATH DE number 3635994 (Why is no real title available?)
- scientific article; zbMATH DE number 218496 (Why is no real title available?)
- Partially Conservative Extensions of Arithmetic
- Provability interpretations of modal logic
- Relative Interpretations
- The interpretability logic of Peano arithmetic
- Undecidable theories
Cited in
(11)- A generalized notion of weak interpretability and the corresponding modal logic
- scientific article; zbMATH DE number 12533 (Why is no real title available?)
- scientific article; zbMATH DE number 4065059 (Why is no real title available?)
- Essential hereditary undecidability
- scientific article; zbMATH DE number 4039848 (Why is no real title available?)
- Undecidability in diagonalizable algebras
- A note on vector-valued goodness-of-fit tests
- Tolerance logic
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
- A Comparative Study of Some Modified Chi-Squared Tests
- A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic
This page was built for publication: The logic of linear tolerance
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1207342)