This chapter gives a concise background for the further study of propositional systems. We assume that the reader is familiar with elements of propositional logic and therefore some basic facts will be stated without proofs. Simple results will be often given without references.


Boolean Algebra Distributive Lattice Classical Logic Propositional Logic Basic Notion 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Personalised recommendations