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.
KeywordsBoolean Algebra Distributive Lattice Classical Logic Propositional Logic Basic Notion
Unable to display preview. Download preview PDF.