Definitions
from Wiktionary, Creative Commons Attribution/ShareAlike License
 n. the state or condition of being decidable.
Etymologies
Sorry, no etymologies found.
Examples

"We are lacking canons of decidability on that issue."

We are forced to conclude that, under the very natural decidability interpretation of P

Scott established the completeness and decidability of various axiomatic tense logics.

However, in contrast to the concepts of ordinary logic, this system is extended by the concept of “simultaneous decidability” which is characteristic for quantum mechanics [1932, p. 253].

"We are lacking canons of decidability on that issue."

The elimination of quantifiers became a main method in mathematical logic to prove decidability, and proving decidability was stated as the main problem of mathematical logic in Hilbert and Ackermann

The study of Boolean algebras has several aspects: structure theory, model theory of Boolean algebras, decidability and undecidability questions for the class of Boolean algebras, and the indicated applications.

“Some decidability results on grammatical inference and complexity”, Information and Control, 20:

In this way, decidability of some substructural logics is assured.

The theorem is the typed equivalent of the decidability of the implicational fragment of the logic of relevant implication.
Wordnik is becoming a notforprofit! Read our announcement here.
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.