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.

(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.

The quasi-logical system that underpins mythology, involving oppositions, metaphors, etc.

plural of logic circuit

a chain of multiple logic gates

(fandom slang) An initially overlooked detail in a story, which, upon further contemplation, is more nonsensical or unrealistic than originally assumed, often to the point of creating a plot hole.

Used other than figuratively or idiomatically: see logical, language. / (rare) A language designed to allow (or enforce) unambiguous statements; a loglang.

Epistemic modal logic, a subfield of modal logic that is concerned with reasoning about knowledge. / Dynamic epistemic logic, a logical framework dealing with knowledge and information change.

plural of logical positivism