Characterization of distributivity in a solid
Logic
2017-11-10 v1
Abstract
We give a characterization of the validity of the distributive law in a solid. There exists equivalence between the characterization and the modified axiom of distibutivity valid in a solid.
Keywords
Cite
@article{arxiv.1510.08722,
title = {Characterization of distributivity in a solid},
author = {Bruno Dinis and Imme van den Berg},
journal= {arXiv preprint arXiv:1510.08722},
year = {2017}
}