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

The system of fraternities and sororities in North American colleges.

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

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

A school of psychology that seeks to address people not on an individual level, as was the focus of earlier forms of therapy, but as people in relationships, dealing with the interactional patterns and group dynamics.

A computer system that uses techniques derived from artificial intelligence, particularly one in which such techniques are central to the operation or design of the system.

(computing) A new computer part that has been removed from an unused, previously assembled system.

(Britain, Canada) Alternative spelling of honor system

(law) A system of law in which advocates represent the prosecution and the defence and an impartial person (judge) or people (jury) determine the truth of the matter

(physics) A localized physical system consisting of interacting components, called degrees of freedom