Publication:3794148
From MaRDI portal
zbMath0649.03007MaRDI QIDQ3794148
Publication date: 1988
Full work available at URL: https://eudml.org/doc/62943
intuitionistic propositional calculus; Brouwer algebra; difficulty degrees; implicative lattice; initial segments of Medvedev's lattice
03G10: Logical aspects of lattices and related structures
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Effectively closed mass problems and intuitionism, Intuitionistic logic and Muchnik degrees, Topological aspects of the Medvedev lattice, The Medvedev lattice of computably closed sets, Intermediate logics and factors of the Medvedev lattice, Kripke models, distributive lattices, and Medvedev degrees