Sciweavers

APAL
2008

Intermediate logics and factors of the Medvedev lattice

13 years 3 months ago
Intermediate logics and factors of the Medvedev lattice
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
Andrea Sorbi, Sebastiaan Terwijn
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2008
Where APAL
Authors Andrea Sorbi, Sebastiaan Terwijn
Comments (0)