An Example HyperVenn Proof
HyperVenn is a heterogeneous logic resulting from combining the individual homogeneous logics for Euler/Venn diagrams and blocks world diagrams. We provide an example proof from the system along with a brief discussion of some of its inference rules.
Keywordsheterogeneous logic Euler/Venn diagrams blocks world diagrams
Unable to display preview. Download preview PDF.