Information systems revisited - the general continuous case

@article{Spreen2008InformationSR,
  title={Information systems revisited - the general continuous case},
  author={Dieter Spreen and Luoshan Xu and Xuxin Mao},
  journal={Theor. Comput. Sci.},
  year={2008},
  volume={405},
  pages={176-187}
}
In this paper a new notion of continuous information system is introduced. It is shown that the information systems of this kind generate exactly the continuous domains. The new information systems are of the same logic-oriented style as the information systems first introduced by Scott in 1982: they consist of a set of tokens, a consistency predicate and an entailment relation satisfying a set of natural axioms. It is shown that continuous information systems are closely related to abstract… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 23 references

Domains for denotational semantics

  • D. Scott
  • in: M. Nielsen, E. Meineche Schmidt (Eds…
  • 1982
Highly Influential
3 Excerpts

Event structures and domains , Theoret

  • B. R. Callejas Bedregal
  • Comput . Sci .
  • 2001

Representing some categories of domains as information system structures

  • B. R. Callejas Bedregal
  • Abstracts Collection, International Symposium on…
  • 2001
1 Excerpt

Domains and Lambda-Calculi

  • R. M. Amadio, P.-L. Curien
  • Cambridge University Press, Cambridge
  • 1998
1 Excerpt

Adjunctions between categories of domains , Fund

  • F. J. Oles M. W. Mislove
  • . Inform .
  • 1995

A representation of SFP

  • G. Q. Zhang
  • Inform. and Comput., 110
  • 1994
1 Excerpt

Similar Papers

Loading similar papers…