The logic of linear tolerance

DOI10.1007/BF00370116zbMath0769.03010WikidataQ56387440 ScholiaQ56387440MaRDI QIDQ1207342

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)

Related Items (4)

A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic ⋮ Undecidability in diagonalizable algebras ⋮ A Note on Vector-Valued Goodness-of-Fit Tests ⋮ A Comparative Study of Some Modified Chi-Squared Tests

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Provability interpretations of modal logic
• Undecidable theories
• Partially Conservative Extensions of Arithmetic
• The interpretability logic of Peano arithmetic
• Relative Interpretations

This page was built for publication: The logic of linear tolerance