(linguistics) A system for writing one or more languages; a particular alphabetic, syllabic, logographic, or other scheme. For example, the Latin alphabet or the Cyrillic alphabet.

(astronomy) Two gravitationally connected stars or other celestial objects which orbit around their center of mass.

An early automated flour roller mill system.

a non-eliminating tournament format.

(logic) A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.

(logic) A set of axioms from which theorems can be derived.

(politics) A democratic parliamentary system of government, used by and modelled after the British parliament in Westminster.

(anatomy) The system through which digestive waste is removed from the body.

A set of axioms or axiom schemata from which theorems can be derived.

A parallel rewriting system; a rewriting system in which as many rewrite rules as possible are applied at each step.