Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic.
Tomoko NinomiyaMasao MukaidonoPublished in: ISMVL (2000)
Keyphrases
- boolean algebra
- multiple valued logic
- multiple valued
- set theory
- fuzzy control
- first order logic
- theorem prover
- cardinality constraints
- knowledge base
- multi valued
- valued logic
- file organization
- boolean functions
- conditional independence
- pattern recognition
- partial order
- fuzzy controller
- control method
- continuous attributes
- mathematical morphology
- expressive power
- computational intelligence
- fuzzy logic
- control system
- relational databases
- bayesian networks