arXiv:math/0606494 Abstract

Published 2006-06-20Version 1

We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.

Categories: math.LO

Keywords: medvedev lattice, intermediate logics, initial segments, brouwer algebras

Related articles: Most relevant | Search more

arXiv:math/0606529 [math.LO] (Published 2006-06-21)

On the structure of the Medvedev lattice

arXiv:2209.10039 [math.LO] (Published 2022-09-20)

Intermediate logics in the setting of team semantics

arXiv:1102.0240 [math.LO] (Published 2011-02-01, updated 2013-10-28)

Translating Labels to Hypersequents for Intermediate Logics with Geometric Kripke Semantics

arXiv Analytics