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

Gianluca Grilletti

Published in: AiML (2022)

Keyphrases

logic programming
boolean algebra
distributive lattices
modal logic
database systems
knowledge representation
inference rules
probability theory
mathematical theory