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 d...
   Found on http://www.videohelp.com/glossary?P
   
   
2. Probabilistic logic
   The aim of a `probabilistic logic` (or `probability logic`) is to combine the capacity of probability theory to handle uncertainty with the capacity of deductive logic to exploit structure. The result is a richer and more expressive formalism with a broad range of possible application areas. Probabi...
   Found on http://en.wikipedia.org/wiki/Probabilist
   
   
3. proctologic
   Relating to proctology. ... (05 Mar 2000) ...
   Found on http://www.mondofacto.com/facts/dictiona
   
   
4. proctologic
   Type: Term Pronunciation: prok-tō-loj′ik Definitions: 1. Relating to proctology.
   Found on http://www.medilexicon.com/medicaldictio
   
   
5. 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 struct...
   Found on http://foldoc.org/Programmable+Array+Log
   
   
6. 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 date = March 18, 1978--> Introductory advertisement on PAL (Programmable Array Logic).--> MMI obtained a registered t...
   Found on http://en.wikipedia.org/wiki/Programmabl
   
   
7. 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
   
   
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://wordnetweb.princeton.edu/perl/web
   
   
9. 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/propositional+logic
   
   
10. Protocol composition logic
    Protocol Composition Logic is a formal method that is used for proving security properties of protocols that use symmetric key and Public key cryptography. PCL is designed around a process calculi with actions for possible protocol steps like generating some random number, perform encryption and dec...
    Found on http://en.wikipedia.org/wiki/Protocol_co
    
    
11. 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 ...
    Found on http://en.wikipedia.org/wiki/Provability