一种对划分定义任意布尔运算的图论方法
逻辑
2019-06-12 v1 组合数学
摘要
划分的格运算——并（join）与交（meet）——在十九世纪即已定义，但整个二十世纪却未定义和研究新的划分逻辑运算。本文提出一种简单而自然的图论方法，可对划分定义任意 n 元布尔运算。同时定义了一种等价的闭包论方法。最后，探讨了为何对划分定义所有布尔运算竟耗费如此之久的问题。
引用
@article{arxiv.1906.04539,
title = {A Graph-theoretic Method to Define any Boolean Operation on Partitions},
author = {David Ellerman},
journal= {arXiv preprint arXiv:1906.04539},
year = {2019}
}