A constructivism based on classical truth.
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi, Gabriele Usberti · Notre Dame Journal of Formal Logic · 1988
The aim of the paper is to study the relationships between constructive truth and classical truth under a unified point of view, namely, to analyze the properties of constructive systems whose language is enriched by a sentential operator T assumed to represent the concept of classical truth.