Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Chen’s Category CoLog

(under construction)

In his PhD thesis Liang-Ting Chen studies the category CoLog which has one-step semantics LP→PTLP\to PT as objects.

(to be continued)

References

chen:phdchen-jung:mfps

Functorial Modal Logic
Translations of Logics
Order Enriched CL
Introduction