Search results

* [[Directory:Jon Awbrey/Papers/Futures Of Logical Graphs|Futures Of Logical Graphs]] * [[Logical graph]]

...oth conceptual and computational standpoints is based on just two types of logical connectives, both of variable <math>k\!</math>-ary scope. The formulas of ...\ldots, e_{k-1}, e_k</math> is false, in other words, that their [[minimal negation]] is true. A clause of this form maps into a PARC structure called a ''lob