Coherence for modalities |
| |
| Authors: | Kosta Do&scaron en,Zoran Petri? |
| |
| Affiliation: | Mathematical Institute, SANU, Knez Mihailova 36, p.f. 367, 11001 Belgrade, Serbia |
| |
| 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. |
| |
| Keywords: | 03B45 03G30 18C15 03F07 08C05 18A15 18A40 18B10 18C20 |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
