Extension of Relatively |sigma-Additive Probabilities on Boolean Algebras of Logic.
Mohamed A. AmerPublished in: J. Symb. Log. (1985)
Keyphrases
- boolean logic
- multi valued
- probability theory
- relation algebra
- real valued
- logic programming
- boolean functions
- logical framework
- classical logic
- truth table
- proof theoretic
- computational properties
- belief networks
- automated reasoning
- deontic logic
- asynchronous circuits
- rough sets
- probability distribution
- search algorithm