3 papers
math.LO2025
Supervaluations, truth, and intuitionistic logic
Pablo Dopico
The supervaluationist approach to fixed-point semantics is, arguably, the most celebrated and studied competitor to the Strong Kleene approach within Kripkean truth. In this paper,…
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
Axiomatic theories of supervaluational truth: completing the picture
Pablo Dopico, Daichi Hayashi
Supervaluational fixed-point theories of formal truth aim to amend an important shortcoming of fixed-point theories based on the Strong Kleene logic, namely, accounting for the tru…