Continuous domains in logical form

zbMath1080.03043MaRDI QIDQ2577617

Mathias Kegelmann

Publication date: 4 January 2006

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/journal/15710661

zbMATH Keywords

cut eliminationcontinuous domainscategory of coherent spacescategory MLS of logical systemsmulti-lingual sequent calculus

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Categorical methods in general topology (54B30) Cut-elimination and normal-form theorems (03F05) Frames, locales (06D22) Continuous lattices and posets, applications (06B35)

Related Items (10)

Relation lifting, a survey ⋮ A generalization of de Vries duality to closed relations between compact Hausdorff spaces ⋮ Duality and canonical extensions for stably compact spaces ⋮ On the relationship between compact regularity and Gentzen's cut rule ⋮ Entailment systems for stably locally compact locales ⋮ Stably Compact Spaces and Closed Relations ⋮ Continuous Domain Theory in Logical Form ⋮ The probabilistic powerdomain for stably compact spaces ⋮ Continuous L-domains in logical form ⋮ Dualities for modal algebras from the point of view of triples

This page was built for publication: Continuous domains in logical form