Multivalued Logic in Programming and Flowcharting.
David C. RinePublished in: Aust. Comput. J. (1975)
Keyphrases
- multi valued
- programming language
- logic programming
- modal logic
- single valued
- asynchronous circuits
- object oriented programming
- neural network
- automated reasoning
- computer programming
- declarative programming
- database
- high level language
- proof theory
- truth values
- defeasible logic
- classical logic
- logical framework
- programming environment
- boolean functions
- knowledge base
- artificial intelligence