Compatible, accordant.
Of a regularly occurring, dependable nature.
Of a set of statements: such that no contradiction logically follows from them.
A kind of penitent who was allowed to assist at prayers, but was not permitted to receive the holy sacraments.
Objects or facts that are coexistent, or in agreement with one another.
capable of being decided.
in intuitionistic logic, a proposition P is decidable in a given theory if it can be proven from the theory that "either P or not P", i.e. in symbols: P∨¬P.
describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.