Sign in
Logics of upsets of De Morgan lattices.
Adam Prenosil
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