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

plural of logicist

(philosophy) An adherent of logicism.

(philosophy) The doctrine that mathematics is a branch of logic in that some or all mathematics is reducible to logic.

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