The logic of linear tolerance

DOI10.1007/BF00370116MaRDI QIDQ1207342zbMATH OpenWikidataFDO

Authors Giorgie Dzhaparidze

Publication date 1 April 1993

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logicprovabilityrelative interpretability of theories

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30)

Recommendations

• Tolerance logic
• scientific article; zbMATH DE number 4039848
• A generalized notion of weak interpretability and the corresponding modal logic
• A model of tolerance
• scientific article; zbMATH DE number 1215499

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)