On the costs of nonclassical logic

DOI10.1007/s10992-017-9424-3zbMath1436.03167OpenAlexW2592491023MaRDI QIDQ1749804

Volker Halbach, Carlo Nicolai

Publication date: 28 May 2018

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://kclpure.kcl.ac.uk/portal/en/publications/on-the-costs-of-nonclassical-logic(8eb57d81-b1e2-4fc2-826b-93b72085d540).html

zbMATH Keywords

semantic paradoxeslogical pluralismformal theories of truth

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (8)

, , AND REINHARDT’S PROGRAM ⋮ THE POWER OF NAIVE TRUTH ⋮ Truth, partial logic and infinitary proof systems ⋮ Inferential constants ⋮ Bicontextualism ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ Provably true sentences across axiomatizations of Kripke's theory of truth ⋮ MODELS OF POSITIVE TRUTH

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some remarks on extending and interpreting theories with a partial predicate for truth
• Kripke and the logic of truth
• Elementary induction on abstract structures
• Provably true sentences across axiomatizations of Kripke's theory of truth
• Handbook of philosophical logic. Vol. 5
• Relative Truth Definability of Axiomatic Truth Theories
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• Outline of a Theory of Truth
• AXIOMATIZING SEMANTIC THEORIES OF TRUTH?
• Axiomatizing Kripke's theory of truth

This page was built for publication: On the costs of nonclassical logic