A new theorem in threshold logic and its application to multioperand binary adders.
José Fernández RamosJavier López GarcíaSantiago Cárdenas MartínAlfonso Gago BohórquezPublished in: Int. J. Comput. Math. (2003)
Keyphrases
- multi valued
- multiple valued
- intuitionistic logic
- logical operations
- logic programming
- classical logic
- valued logic
- von neumann
- predicate logic
- modal logic
- automated reasoning
- proof theory
- thresholding algorithm
- non binary
- binary data
- programmable logic
- linear logic
- epistemic logic
- databases
- computational properties
- logic programs
- decision trees
- neural network