Notre Dame Journal of Formal Logic · 1988 · 34 citations · 2 references
HumanitiesPhilosophyPhilosophy Of ScienceConcept FormationTruth Theory
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.
2
A semantical study of constructible falsity
Richmond H. Thomason · Mathematical logic quarterly · 1969 · 101 citations