Intermediate logics and factors of the Medvedev lattice

13 years 11 months ago

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

Andrea Sorbi, Sebastiaan Terwijn

APAL 2008 | Initial Segments | Medvedev Lattice | Propositional Logics |

claim paper

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2008
Where	APAL
Authors	Andrea Sorbi, Sebastiaan Terwijn

Comments (0)