sequent

(redirected from Logical assertion)
Also found in: Dictionary, Thesaurus, Encyclopedia.
References in periodicals archive ?
During model execution, the researchers use logical assertions to gauge consistency among states maintained on different nodes.
Kahn's sweeping argument depends for its authority, as does much constitutional theorizing, on the author's logical assertions rather than a broad evidentiary base.