De Finetti theorem and Borel states in [0, 1]-valued algebraic logic.
Jan KührDaniele MundiciPublished in: Int. J. Approx. Reason. (2007)
Keyphrases
- valued logic
- intuitionistic logic
- classical logic
- multi valued
- logic programming
- algebraic structure
- modal logic
- computer algebra
- propositional logic
- valued semantics
- first order logic
- markov decision processes
- mathematical theory
- higher order
- deontic logic
- truth values
- von neumann
- set theory
- logic programs
- knowledge representation
- predicate logic
- computational properties
- logical framework
- multistage