A Three-Valued Logic for Refinement.
Jim GrundyPublished in: Formal Methods in Programming and Their Applications (1993)
Keyphrases
- nonmonotonic logics
- modal logic
- logic programming
- classical logic
- multi valued
- epistemic logic
- automated reasoning
- inference rules
- proof theory
- computational properties
- neural network
- step wise
- delay insensitive
- database
- refinement process
- asynchronous circuits
- deontic logic
- valued semantics
- predicate logic
- formal language
- set theory
- defeasible logic
- logical framework
- description logics
- website
- learning algorithm