Login / Signup
Finite axiomatizability of logics of distributive lattices with negation.
Sérgio Marcelino
Umberto Rivieccio
Published in:
CoRR (2021)
Keyphrases
</>
distributive lattices
epistemic logic
boolean algebra
general theory
belief functions
modal logic
mathematical theory
expressive power
truth values
logic programming
logic programs
deductive databases
stable models
inference rules
dempster shafer
theorem prover
databases
model checking
finite automata
image analysis