Note on a six-valued extension of three-valued logic.
Josep Maria FontMassoud MoussaviPublished in: J. Appl. Non Class. Logics (1993)
Keyphrases
- valued semantics
- multi valued
- nonmonotonic logics
- default logic
- default theories
- proof theoretic
- modal logic
- consistent query answering
- proof theory
- t norm
- logic programming
- classical logic
- neural network
- valued logic
- asynchronous circuits
- automated reasoning
- artificial intelligence
- logical framework
- linear temporal logic
- linear time temporal logic
- predicate logic
- inference rules
- model checking
- database