Coherence for Modalities

Details Coherence for Modalities Coherence for Modalities

2008-09-15

arxiv.org/abs/0809.2494v8

Mathematics

Logic

43 pages, minor additions

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Coherence for Modalities does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Coherence for Modalities, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Coherence for Modalities will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-635087