(computing) Algorithms in a software system that models real life business objects and their interactions.

(computer science) A particular modal logic of branching time with operators "next", "globally", "finally" or "eventually", "until", and "weak until".

plural of logical fallacy

(logic) A logic that directly supports classification of entities into disjunct sorts.

(logic) One of a family of knowledge representation languages which can be used to represent the concept definitions of an application domain (known as terminological knowledge) in a structured and formally well-understood way.

(mathematics, logic) A type of logic which rejects the axiom law of excluded middle or, equivalently, the law of double negation and/or Peirce's law. It is the foundation of intuitionism.

plural of arithmetic logic unit

A logistics operation that uses third-party logistics services on behalf of its customers, rather than controlling a fleet of its own vehicles.

(physics) Describing a proposed form of cosmological inflation whose rate is intermediate between logarithmic and exponential.

-logical