The Boolean Algebra Logic: The Soundness and Completeness Theorem.

Bo Chen Xingyou Zhang Pengfei Zhang Cong Cao Wenxue Liu Kang Zhao

Published in: SKG (2017)

Keyphrases

boolean algebra
cardinality constraints
set theory
theorem prover
constraint query languages
upper approximation
database
objective function
object oriented
mathematical morphology