Aristotelian Fragments and Subdiagrams for the Boolean Algebra B5.

Koen Roelandt Hans Smessaert

Published in: Axioms (2023)

Keyphrases

boolean algebra
constraint query languages
cardinality constraints
theorem prover
set theory
upper approximation
artificial intelligence
query processing