Intermediate logics and factors of the Medvedev lattice
classification
🧮 math.LO
keywords
latticelogicsmedvedevalgebrasbrouwerconnectedfactorsinitial
read the original abstract
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.