Showing math.LOShow all
2 papers · 1 filter
math.LO2025
Supervaluation-Style Truth Revisited
Pablo Dopico, Carlo Nicolai, Johannes Stern
Supervaluational fixed-point semantics for truth cannot be axiomatized because of its recursion-theoretic complexity. Johannes Stern (\emph{Supervaluation-Style Truth Without Super…
math.LO2024
Adequate conditionals and Kripke's theory of truth
Johannes Stern
In this paper we show how to introduce a conditional to Kripke's theory of truth that respects the deduction theorem for the consequence relation associated with the theory. To thi…