Intermediate logics and factors of the Medvedev lattice
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.