Medvedev logic is the logic of finite distributive lattices without top element.

Gianluca Grilletti

Browse the full AiML paper archive.