Medvedev logic is the logic of finite distributive lattices without top element - researchr publication

researchr

You are not signed in
Sign in
Sign up

Gianluca Grilletti. Medvedev logic is the logic of finite distributive lattices without top element. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 451-466, College Publications, 2022.

Abstract is missing.

runs on WebDSL