provability音标
英 [pru:və'bɪlɪtɪ]
美 [pruvə'bɪlɪtɪ]
provability翻译
释义
可证迷;
英英释义
provability
n.capability of being demonstrated or logically proved
同义词:demonstrability
provability用法
权威例句
The Logic of Provability
The logic of provability
Provability interpretations of modal logic
Provability algebras and proof-theoretic ordinals, I
Explicit Provability and Constructive Semantics
The Undecidability of k-Provability
Provability of the Pigeonhole Principle and the Existence of Infinitely Many Primes.
Reflection schemes and provability algebras in formal arithmetic.
The Computational Complexity of Provability in Systems of Modal Propositional Logic
Robust Inference in Communication Games with Partial Provability