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