A System for Automated Deduction in Graphical Interval Logic.
P. M. Melliar-SmithLouise E. MoserY. S. RamakrishnaGeorge KuttyLaura K. DillonPublished in: ICTL (1994)
Keyphrases
- automated deduction
- logic programming
- theorem proving
- theorem prover
- inference rules
- automated reasoning
- logic programs
- modal logic
- truth values
- classical logic
- proof theory
- natural deduction
- deductive databases
- artificial intelligence
- digital circuits
- logical framework
- multi valued
- data sets
- probabilistic logic
- deontic logic
- graphical representation
- software engineering
- sound and complete axiomatization