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.
P., M., U., M., M., O., Usberti, G. (1989). A constructivism based on classical truth. NOTRE DAME JOURNAL OF FORMAL LOGIC, 30(1), 67-90.
A constructivism based on classical truth
USBERTI, GABRIELE
1989-01-01
Abstract
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Utilizza questo identificativo per citare o creare un link a questo documento:
https://hdl.handle.net/11365/405410
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo