Login / Signup
Level Theory, Part 3: a Boolean Algebra of Sets Arranged in Well-Ordered Levels.
Tim Button
Published in:
Bull. Symb. Log. (2022)
Keyphrases
</>
boolean algebra
upper approximation
set theory
cardinality constraints
constraint query languages
theorem prover
databases
knowledge base
image processing
first order logic
convex sets
closed sets