Non-distributive positive logic as a fragment of first-order logic over semilattices.

Published in: CoRR (2022)

Keyphrases

positive and negative
modal logic
multi valued
distributive lattices
classical logic
boolean algebra
logic programming
set theory
abductive reasoning
sound and complete axiomatization
neural network
multiscale
positive or negative
deontic logic
linear logic
proof theory