Login / Signup

Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra.

Tomoko NinomiyaMasao Mukaidono
Published in: ISMVL (2002)
Keyphrases
  • boolean algebra
  • set theory
  • knowledge base
  • upper approximation
  • integrity constraints
  • computational intelligence
  • first order logic
  • partial order
  • temporal logic
  • cardinality constraints