A Rigorous Proof of Fundamental Theorem of Uncertain Calculus.
Tingqing YePublished in: J. Uncertain Syst. (2021)
Keyphrases
- provably correct
- automated theorem proving
- natural deduction
- proof search
- theorem prover
- theorem proving
- sequent calculus
- proof procedure
- computer algebra
- situation calculus
- linear logic
- information retrieval
- proof theoretic
- cut elimination
- uncertain information
- possibility theory
- inference rules
- incomplete information
- decision making
- machine learning
- relational calculus
- mathematical foundations
- automated deduction
- case study