Continuous Domains in Logical Form

  title={Continuous Domains in Logical Form},
  author={Mathias Kegelmann},
  journal={Electr. Notes Theor. Comput. Sci.},
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