Intermediate logics and factors of the Medvedev lattice

Open Access
Authors
Publication date 2008
Journal Annals of Pure and Applied Logic
Volume | Issue number 155 | 2
Pages (from-to) 69-85
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
Document type Article
Published at https://doi.org/10.1016/j.apal.2008.03.002
Downloads
Permalink to this page
Back