(programming) Programming with a paradigm that bases on formal logic

A kind of non-classical logic requiring the antecedent and consequent of implications to be relevantly related, and aiming to capture aspects of implication that are ignored by the "material implication" operator in classical truth-functional logic.

plural of logical mechanical element

(obsolete, rare) Synonym of motor aphasia

Synonym of logical quotation

(logic) A logic in which two structural rules are missing from its sequent calculus: those for weakening and contraction; which has some extra logical connectives, so that it has both "additive" and "multiplicative" versions of the typical binary connectives and truth constants; and which has a pair of modal, "exponential" operators for resource management, to help make up for the loss of the two structural rules.

(organic chemistry) An iridoid synthesized from 7-deoxyloganic acid by the enzyme 7-deoxyloganic acid hydroxylase (7-DLH); it is a substrate for the enzyme loganate O-methyltransferase for the production of loganin.

(organic chemistry) An iridoid glycoside first isolated from the plant family Loganiaceae, and formed from loganic acid by the enzyme loganic acid O-methyltransferase (LAMT).

(botany) Belonging to the Loganiaceae.

(computing theory) A formal system of rules for reasoning about the correctness of computer programs, based on Hoare triples, which describe the state of the system before and after various operations.