| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 4596701 | Journal of Pure and Applied Algebra | 2011 | 23 Pages |
Abstract
Positive modalities in S4, S5 and systems in their vicinity 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.
Related Topics
Physical Sciences and Engineering
Mathematics
Algebra and Number Theory
