A Note on Q-Universal Logic Modules.
SureshchanderP. C. P. BhattPublished in: IEEE Trans. Computers (1974)
Keyphrases
- multi valued
- logic programming
- classical logic
- decision trees
- modal logic
- automated reasoning
- predicate logic
- logical framework
- logic synthesis
- rule engine
- computational properties
- sound and complete axiomatization
- propositional dynamic logic
- modular structure
- proof theory
- natural deduction
- digital circuits
- database
- search algorithm
- social networks