Some techniques for the study of intermediate constructive logics are illustrated. In particular a general characterization is given of maximal constructive logics from which a new proof of the maximality of MV (Medvedev's logic of finite problems) can be obtained. Some semantical notions are also introduced, allowing a new characterization of MV, from which a new proof of a conjecture of Friedman's and a new family of principles valid in MV can be extracted.
P., M., U., M., M., O., S., Q., Usberti, G. (1989). Some results on intermediate constructive logics. NOTRE DAME JOURNAL OF FORMAL LOGIC, 30(4), 543-562.
Some results on intermediate constructive logics
USBERTI, GABRIELE
1989-01-01
Abstract
Some techniques for the study of intermediate constructive logics are illustrated. In particular a general characterization is given of maximal constructive logics from which a new proof of the maximality of MV (Medvedev's logic of finite problems) can be obtained. Some semantical notions are also introduced, allowing a new characterization of MV, from which a new proof of a conjecture of Friedman's and a new family of principles valid in MV can be extracted.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
https://hdl.handle.net/11365/405411
Attenzione
Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo