Intermediate logics and factors of the Medvedev lattice

14 years 18 days 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)