Search results

MyWikiBiz, Author Your Legacy — Sunday May 12, 2024
Jump to navigationJump to search

  • Directory:Jon Awbrey/Papers/Differential Logic : Introduction
    ===Cactus Language for Propositional Logic=== ...k\!</math>-ary scope. The formulas of this calculus map into a species of graph-theoretical structures called ''painted and rooted cacti'' (PARCs) that len
    131 KB (20,198 words) - 15:38, 2 December 2015
Retrieved from "https://mywikibiz.com/Special:Search"