Finite axiomatizability of logics of distributive lattices with negation.

Sérgio Marcelino Umberto Rivieccio

Published in: Log. J. IGPL (2023)

Keyphrases

distributive lattices
boolean algebra
epistemic logic
logic programs
modal logic
belief functions
expressive power
logic programming
general theory
inference rules
truth values
dempster shafer
set theory
mathematical theory
deductive databases
artificial intelligence
fixpoint
stable models
cardinality constraints