Coherence for Modalities
Logic
2010-09-17 v8 Category Theory
Abstract
Positive modalities in systems in the vicinity of S4 and S5 are investigated in terms of categorial proof theory. Coherence and maximality results are demonstrated, and connections with mixed distributive laws and Frobenius algebras are exhibited.
Keywords
Cite
@article{arxiv.0809.2494,
title = {Coherence for Modalities},
author = {K. Dosen and Z. Petric},
journal= {arXiv preprint arXiv:0809.2494},
year = {2010}
}
Comments
43 pages, minor additions