Belnap's logic and conditional composition.
Alban PonseMark van der ZwaagPublished in: Theor. Comput. Sci. (2007)
Keyphrases
- conditional logic
- modal logic
- classical logic
- predicate logic
- databases
- logic programming
- genetic algorithm
- artificial intelligence
- data sets
- proof theory
- set theory
- sound and complete axiomatization
- nonmonotonic inference
- music composition
- asynchronous circuits
- computational properties
- multi valued
- automated reasoning
- web service composition
- default reasoning
- random variables
- multi agent systems
- multiscale
- web services