Logic Determined by Boolean Algebras with Conjugate.
Michiro KondoKazumi NakamatsuJair Minoro AbePublished in: KES (2) (2006)
Keyphrases
- boolean logic
- multi valued
- relation algebra
- truth table
- boolean algebra
- logic programming
- automated reasoning
- artificial intelligence
- real valued
- modal logic
- boolean functions
- classical logic
- defeasible logic
- distributive lattices
- real time
- asynchronous circuits
- deontic logic
- boolean queries
- expert systems
- machine learning
- expressive power
- np complete
- data sets