decidability
Sign in to saveAlso known as decidable
property of theories that have computable membership
Connections
propositional calculus
Entity
formal system
Entity
recursive set
Entity
semantic theory of truth
Entity
mathematical logic
Entity
first-order logic
Entity
Peano axioms
Entity
Church–Turing thesis
Entity
validity
Entity
predicate
Entity
three-valued logic
Entity
semantics of logic
Entity
recursively enumerable set
Entity
structure
Entity
diagram
Entity
ground expression
Entity
logic
Entity
game
Entity
International Standard Book Number
Entity
natural number
Entity