• Publications
  • Influence
Fall 2010 Calibrating the Complexity of Ternary Propositional Connectives
For each ternary propositional connective, we determine the minimum number of binary connectives needed to construct a logically equivalent formula. In order to reduce this problem to a computablyExpand
Calibrating the Complexity of Ternary Propositional Connectives
TLDR
We prove a number of lemmas showing that every element of a large set of formulas is logically equivalent to a formula in a much smaller associated set. Expand