单词 provability 释义 BETA

Examples ofprovability

Dictionary> Examples ofprovabilityprovabilityisn’t in the Cambridge Dictionary yet. You can help!Add a definitionMathematical constructivism regardsprovabilityas the touchstone for mathematical propositions because proofs are created and comprehended by the mind.From theCambridge English CorpusOne relatively close area is studying nonmonotonicity of axiomatically-definedprovabilityrelations.From theCambridge English CorpusFirst, we provide a characterization of this notion in terms ofprovabilityin classical logic.From theCambridge English CorpusFor these programs the one-stepprovabilityoperator becomes deterministic and the theory of normal logic programming extends to deterministic programs without any significant change.From theCambridge English CorpusTowards a framework for answer set programming asprovabilityin linear logic.From theCambridge English CorpusWhen establishing tentativeprovability, we proceed in exactly the same way as with definite provability, except that we restrict attention to defeasible rules.From theCambridge English CorpusThis is in the spirit of classical mathematics, in which one cares more about the truth of a statement than about itsprovability.From theCambridge English CorpusTechnically, the existence of uniform proofs for all provable goal formulas permits the search interpretation ofprovability.From theCambridge English CorpusThis order corresponds to the idea of uniformprovabilitydefined at the beginning of this section.From theCambridge English CorpusTo sum up,provabilitydoes not commute with negation: 'not knowing that' and 'knowing that not' are essentially distinct.From theCambridge English CorpusIf we wish to be specific, we prefix it with either (forprovability) or = (for validity).From theCambridge English CorpusSince we will only be concerned withprovabilityrather than proofs, we will restrict our attention to indexed partially ordered sets rather than indexed categories.From theCambridge English CorpusThe interest of this notion is that it can be totally expressed in terms ofprovabilityin linear logic.From theCambridge English CorpusFor the sake of brevity, we will illustrate the connection betweenprovabilityand reachability in the extended setting through the following example.From theCambridge English CorpusAs a direct consequence of this result, we obtain thatprovabilityis decidable in the considered fragment.From theCambridge English CorpusThe typical 1 expansive property isprovability, or halting.From theCambridge English CorpusDefeasibleprovabilityrequires consideration of chains of reasoning for the complementary literal, and possible resolution using the superiority relation.From theCambridge English CorpusNondeterministicprovabilityoperators were considered before in the context of logic programming.From theCambridge English Corpus

These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.