omplete satisfiability problems
&gt; that arise, but I have been able to devise an efficient and powerful
&gt; enough extension of Peirce's basic syntax, along with a workable enough
&gt; implementation of basic computational tools for using this representation,
&gt; that I have been able to begin contemplating the "differential extension"
&gt; of propositional calculus -- in fact, one of the surprises of the whole
&gt; development is that not a few of Peirce's original ideas almost seemed
&gt; to demand th