Title of article :
Intermediate logics and factors of the Medvedev lattice
Author/Authors :
Sorbi، نويسنده , , Andrea and Terwijn، نويسنده , , Sebastiaan A.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Abstract :
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
Keywords :
Intermediate logics , Medvedev degrees , Factor lattices , 03D30 , 03B55 , 03G10 , 03D80
Journal title :
Annals of Pure and Applied Logic
Journal title :
Annals of Pure and Applied Logic
