The logic of linear tolerance

DOI10.1007/BF00370116zbMATH Open0769.03010WikidataQ56387440 ScholiaQ56387440MaRDI QIDQ1207342FDOQ1207342

Authors: Giorgie Dzhaparidze 

Publication date: 1 April 1993

Published in: Studia Logica (Search for Journal in Brave)

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

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)

Cites Work

• Undecidable theories
• Provability interpretations of modal logic
• Title not available (Why is that?)
• The interpretability logic of Peano arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partially Conservative Extensions of Arithmetic
• Relative Interpretations

Cited In (11)

• A generalized notion of weak interpretability and the corresponding modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Essential hereditary undecidability
• Title not available (Why is that?)
• 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)