Intermediate logics and factors of the Medvedev lattice

Simple item page
dc.creatorSorbi, Andrea
dc.creatorTerwijn, Sebastiaan A.
dc.date2006-06-20
dc.date.accessioned2026-07-07T07:17:30Z
dc.date.available2026-07-07T07:17:30Z
dc.descriptionWe investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
dc.identifierhttps://arxiv.org/abs/math/0606494
dc.identifierhttp://arxiv.org/abs/math/0606494
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/113961
dc.subjectLogic
dc.titleIntermediate logics and factors of the Medvedev lattice
dc.typetext

Files

Collections

arXiv