Publication date
January 2008
DOIAbstract
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them
We study the Medvedev degrees of mass problems with distinguished topological properties, such as de...
This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a ...
Some techniques for the study of intermediate constructive logics are illustrated. In particular a g...
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propo...
AbstractWe investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study t...
We prove various results on embedding Brouwer algebras in the Medvedev lattice. In particular, we c...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
We study the connection between factors of the Medvedev lattice and constructive logic. The algebrai...
We study a class of formulas generalizing the weak law of the excluded middle, and provide a charact...
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional lo...
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interva...
We examine a special modal logic which is a normal extension of the Brouwer modal logic. It is deter...
We study the Medvedev degrees of mass problems with distinguished topological properties, such as de...
This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a ...
Some techniques for the study of intermediate constructive logics are illustrated. In particular a g...
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propo...
AbstractWe investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study t...
We prove various results on embedding Brouwer algebras in the Medvedev lattice. In particular, we c...
The paper investigates some quotient lattices of the Medeved lattice and of the Muchnik lattice. Typ...
We study the connection between factors of the Medvedev lattice and constructive logic. The algebrai...
We study a class of formulas generalizing the weak law of the excluded middle, and provide a charact...
We prove that there is a factor of the Muchnik lattice that captures intuitionistic propositional lo...
We investigate the structure of the Medvedev lattice as a partial order. We prove that every interva...
We examine a special modal logic which is a normal extension of the Brouwer modal logic. It is deter...
We study the Medvedev degrees of mass problems with distinguished topological properties, such as de...
This paper investigates the algebraic structure of the Medvedev lattice M. We prove that M is not a ...
Some techniques for the study of intermediate constructive logics are illustrated. In particular a g...
Add to ORKG