Geometric Operators on Boolean Functions  Jeppe Revall Frisvad, Peter Falster
 Abstract  In truthfunctional propositional logic, any propositional formula
represents a Boolean function (according to some valuation of the
formula). We describe operators based on Decartes' concept of
constructing coordinate systems, for translation of a propositional
formula to the image of a Boolean function. With this image of a
Boolean function corresponding to a propositional formula, we prove
that the orthogonal projection operator leads to a theorem
describing all rules of inference in propositional reasoning. In
other words, we can capture all kinds of inference in propositional
logic by means of a few geometric operators working on the images of
Boolean functions. The operators we describe, arise from the niche
area of arraybased logic and have previously been tightly bound to
an arraybased representation of Boolean functions. We redefine the
operators in an abstract form to make them independent of
representation such that we no longer need to be much concerned with
the form of the Boolean functions. Knowing that the operators can
easily be implemented (as they have been in arraybased logic),
shows the advantage they give with respect to automated reasoning.  Keywords  arraybased logic, Boolean functions, geometric operators,inference, propositional reasoning  Type  Technical report  Year  2007 Month December  Publisher  Informatics and Mathematical Modelling, Technical University of Denmark  Address  Richard Petersens Plads, DTU  Building 321, 2800 Kgs. Lyngby  IMM no.  IMM200723  Electronic version(s)  [pdf]  BibTeX data  [bibtex]  IMM Group(s)  Image Analysis & Computer Graphics 
