Continuous Domains in Logical Form

@article{Kegelmann2002ContinuousDI,
  title={Continuous Domains in Logical Form},
  author={Mathias Kegelmann},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2002},
  volume={49},
  pages={1-166}
}
This thesis investigates the mathematical foundations that are necessary for an extension of Abramsky's domain theory in logical form to continuous domains. We present a multi-lingual sequent calculus, that is a positive logic allowing sequents that relate propositions from di erent languages. This setup necessitates a number of syntactic adjustments. In particular, we discuss di erent reformulations of the cut rule and how they can be used as a basis for a category MLS of logical systems. Then… CONTINUE READING