Logics of upsets of De Morgan lattices.

Published in: Math. Log. Q. (2023)

Keyphrases

expressive power
modal logic
distributive lattices
inference rules
conditional logic
nonmonotonic logics
propositional dynamic logic
databases
machine learning
relational databases
evolutionary algorithm
probabilistic model
fuzzy logic
higher order
decision procedures
proof procedures