Look up: Pro-Logic

1. 
   Pro-Logic
   An encoding technology developed by Dolby Laboratories, Pro-Logic and Pro-Logic II are methods of encoding 4 channels for Pro-Logic (left, right, center, surround) and 5 channels for Pro-Logic II (left, right, center, left surround, right surround), into a stereo (left, right) channel format to be decoded into 4 or 5 channels with a proper decoder....
   Found on http://www.videohelp.com/glossary?P
   
   
2. 
   proctologic
   Relating to proctology. ... (05 Mar 2000) ...
   Found on http://www.mondofacto.com/facts/dictiona
   
   
3. 
   Programmable Array Logic
   (hardware) (PAL) A family of fuse-programmable logic integrated circuits originally developed by MMI. Registered or combinatorial output functions are modelled in a sum of products form. Each output is a sum (logical or) of a fixed number of products (logical and) of the input signals. This structure is well suited for automatic generation of pro...
   Found on http://foldoc.org/
   
   
4. 
   Programmable Array Logic
   The term `Programmable Array Logic` (PAL) is used to describe a family of programmable logic device semiconductors used to implement logic functions in digital circuits introduced by Monolithic Memories, Inc. (MMI) in mid 1978. PAL devices consisted of a small PROM (programmable read-only memory) core and additional output logic used to implement particular desired logic functions with few components. Using specialized machines, PAL devices wer...
   Found on http://en.wikipedia.org/wiki/Programmabl
   
   
5. 
   PROLOG PROgramming in LOGic
   A computer language developed in France at the University of Aix-Marseilles. It has been used in AI research and for other applications. [AI, HLL]
   Found on http://www.le.ac.uk/cc/glossary/ccglp.ht
   
   
6. 
   propositional logic
   [n] - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
   Found on http://www.webdictionary.co.uk/definitio
   
   
7. 
   propositional logic
   (logic) (or 'propositional calculus') A system of symbolic logic using symbols to stand for whole propositions and logical connectives. Propositional logic only considers whether a proposition is true or false. In contrast to predicate logic, it does not consider the internal structure of propositions. (2002-05-21)
   Found on http://foldoc.org/
   
   
8. 
   propositional logic
   propositional calculus noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
   Found on http://wordnet.princeton.edu/perl/webwn?
   
   
9. 
   Provability logic
   `Provability logic` is a modal logic, in which the box (or `necessity`) operator is interpreted as 'it is provable that'. The point is to capture the notion of a proof predicate of a reasonably rich formal theory, such as Peano arithmetic. There are a number of provability logics, some of which are covered in the literature mentioned in the References section. The basic system is generally referred to as GL (for Gödel-Löb) or L or K4W. It can b...
   Found on http://en.wikipedia.org/wiki/Provability