Optimal Axiomatizations for Multiple-Valued Operators and Quantifiers Based on Semi-lattices.

Published in: CADE (1996)

Keyphrases

multiple valued
multi valued
multiple valued logic
file organization
dynamic programming
optimal solution
decision diagrams
knowledge representation
information retrieval systems
boolean functions
neural network
valued logic