Intermediate logics and factors of the Medvedev lattice

15 years 2 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)